M-separation (source code)

= M-separation

M-separation extends d-separation to mixed graphs: a path is open given a conditioning set when every noncollider is unconditioned and every collider has a conditioned descendant.