Q4 - Definition of I_{sep}
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:
(2)\begin{align} I_{sep}(G) \subseteq I(p) \end{align}
If p satisfies all these properties?