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 is itself conditioned on or has a conditioned descendant.