Los estados que, si un conjunto Z de nodos se puede observar que "d"-separa (o bloquea) todos los caminos de "puestra trasera" desde "X" hasta "Y" entonces formula_12.