Sei x ∈ (A∩B) ∪ (A∩C), dann ist
1) x ∈ (A∩B)
oder
2) x ∈ (A∩C)
Betrachten wir 1).
Da x ∈ (A∩B), ist x ∈ A und x ∈ B.
Da B ⊆ (B∪C), ist x ∈ (B∪C) und somit folgt: x ∈ A ∩ (B∪C).
Betrachten wir 2).
Da x ∈ (A∩C), ist x ∈ A und x ∈ C.
Da C ⊆ (B∪C), ist x ∈ (B∪C) und somit folgt: x ∈ A ∩ (B∪C).
Damit ist gezeigt, dass (A∩B) ∪ (A∩C) ⊆ A ∩ (B∪C) ist.