(A∩C)∪(B∩D)⊆(A∪B)∩(C∪D)
Bew.: Sei x ∈ (A∩C)∪(B∩D)
==> x ∈ (A∩C) v x ∈ (B∩D)
1. Fall : x ∈ (A∩C)
==> x ∈ A ∧ x ∈ C
Da A⊆ A∪B und C ⊆ C∪D gilt auch
x ∈ A∪B ∧ x ∈ C∪D
==> x ∈ (A∪B)∩(C∪D)
2. Fall: x ∈ (B∩D)
==> x ∈ B ∧ x ∈ D
Da B⊆ A∪B und D ⊆ C∪D gilt auch
x ∈ A∪B ∧ x ∈ C∪D
==> x ∈ (A∪B)∩(C∪D)
Also in jedem Fall x ∈ (A∪B)∩(C∪D) q.e.d.