Separación dependiente de la dirección (separación D)

• si todo camino no dirigido de un nodo X a un nodo Y es d-separado dada una evidencia E, entonces X e Y son condicionalmente independientes dado E
• un conjunto de nodos de evidencia E separa-d dos conjuntos de nodos X e Y si para cada camino entre ellos E contiene un nodo Z tal que se cumple alguna de las condiciones:
  1. Z está en E y Z tiene un arco de entrada del camino y un arco de salida
  2. Z está en E y tiene dos arcos de salida del camino
  3. ni Z ni ninguno de sus descendiente está en E y tiene dos arcos de entrada del camino