Contraction axiom for conditional independence (source code)

= Contraction axiom for conditional independence

The contraction axiom says that
$$
X\perp Y\mid Z
\quad\text{and}\quad
X\perp W\mid(Y,Z)
\quad\Longrightarrow\quad
X\perp(Y,W)\mid Z.
$$
It follows directly by multiplying the corresponding conditional-density factorizations.