A \ (B \ C) = (A \ B)∪(A∩C).
Zeige sowohl
A \ (B \ C) ⊂ (A \ B)∪(A∩C)
als auch
(A \ B)∪(A∩C) ⊂ A \ (B \ C)
Zu A \ (B \ C) ⊂ (A \ B)∪(A∩C): Sei m ∈ A \ (B \ C).
Dann ist m ∈ A und m ∉ B \ C.
Wenn m ∉ B \ C ist, dann ist m ∉ B oder m ∈ C.
Fall 1: m ∈ C. Dann ist m ∈ A∩C und somit m ∈ (A \ B)∪(A∩C).
Fall 2: m ∉ B. Dann ist m ∈ A\B und somit m ∈ (A \ B)∪(A∩C).