d-Separation [Pearl]
If X, Y and Z are three disjoint subsets of nodes then Z d-separates X from Y if there is no path between a node in Y along which:
- every node with converging arrows is in Z or has a descendant in Z and
- every other node (ie with diverging or linear arrows) is outside Z