Q4 - Definition of I_{sep}

Noam P 30 Mar 2017 13:37

Hi,

We've seen this definition:

\begin{align} I_{sep}(G) = \{X \perp Y | Z : Z \ separates \ X \ and \ Y\} \end{align}

Does this definition rely on some probability? Or is it that given a graph G we construct the set of **all** X,Y,Z where Z separates X and Y and then, given a probability p we say that:

\begin{align} I_{sep}(G) \subseteq I(p) \end{align}

If p satisfies all these properties?