Decomposition axiom for conditional independence
= Decomposition axiom for conditional independence
The decomposition axiom says that $X\perp(Y,W)\mid Z$ implies both $X\perp Y\mid Z$ and $X\perp W\mid Z$. It follows by marginalizing the joint conditional distribution over the discarded variable.