对于有向图<math>G</math>,若满足<math>(Y \perp\!\!\!\perp Z \mid X, W)_{G_{\overline{X}}}</math>(即在子图<math>G_{\overline{X}}</math>中,给定结点集<math>X</math>和<math>W</math>时,结点集<math>Y</math>和<math>Z</math>满足d-分离条件),则 | 对于有向图<math>G</math>,若满足<math>(Y \perp\!\!\!\perp Z \mid X, W)_{G_{\overline{X}}}</math>(即在子图<math>G_{\overline{X}}</math>中,给定结点集<math>X</math>和<math>W</math>时,结点集<math>Y</math>和<math>Z</math>满足d-分离条件),则 |