¶Distributivity of sets
¶Set difference
(A ∪ B) \ (C ∪ D) = (A ∪ B) \ C \ D
= ((A \ C) ∪ (B \ C)) \ D
= (A \ C \ D) ∪ (B \ C \ D)
¶Intersection
(A ∪ B) ∩ (C ∪ D) = ((A ∪ B) ∩ C) ∪ ((A ∪ B) ∩ D)
= (A ∩ C) ∪ (B ∩ C) ∪ (A ∩ D) ∪ (B ∩ D)
