如下图，对于给定的结点集ε，如果对贝叶斯网中的结点Vi和Vj之间的每个无向路径，在路径上有某个结点Vb，如果有属性： 　　1）Vb在ε中，且路径上的两条弧都以Vb为尾（即弧在Vb处开始（出发）） 　　2）Vb在ε中，路径上的一条弧以Vb为头，一条以Vb为尾 　　3）Vb和它的任何后继都不在ε中，路径上的两条弧都以Vb为头（即弧在Vb处结束） 　　则称Vi和Vj 被Vb结点阻塞。 　　结论：如果Vi和Vj被证据集合ε中的任意结点阻塞，则称Vi和Vj是被ε集合D分离，结点Vi和Vj条件独立于给定的证据集合ε，即 　　　　P(Vi|Vj,ε) ＝P(Vi|ε) 　　　　P(Vj|Vi,ε) ＝P(Vj|ε) 　　表示为：I(Vi,Vj|ε) 或I(Vj,Vi|ε) 　　无向路径：DAG图是有向图，所以其中的路径也应该是有向路径，这里所指的无向路径是不考虑DAG图中的方向性时的路径。 　　条件独立：如具有以上三个属性之一，就说结点Vi和Vj条件独立于给定的结点集ε。 　　阻塞：给定证据集合ε，当上述条件中的任何一个满足时，就说Vb阻塞相应的那条路径。 　　D分离：如果Vi和Vj之间所有的路径被阻塞，就叫证据集合ε可以D分离Vi和Vj 　　注意：在论及路径时，是不考虑方向的；在论及"头"和"尾"时，则必须考虑弧的方向。"头"的含义是箭头方向（有向弧）的终止点，"尾"的含义是箭头方向（有向弧）的起始点。