Entonces "P" se dice que es "d"-separado por un conjunto de nodos "Z" si y sólo si (al menos) uno de cumple lo siguiente: