 Contraction axiom for conditional independence

ID: contraction-axiom-for-conditional-independence

The contraction axiom says that

X ⊥ Y ∣ Z and X ⊥ W ∣ (Y, Z) ⟹ X ⊥ (Y, W) ∣ Z .

It follows directly by multiplying the corresponding conditional-density factorizations.

 New to topics? Read the docs here!