¶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)
(A ∪ B) \ (C ∪ D) = (A ∪ B) \ C \ D = ((A \ C) ∪ (B \ C)) \ D = (A \ C \ D) ∪ (B \ C \ D)
(A ∪ B) ∩ (C ∪ D) = ((A ∪ B) ∩ C) ∪ ((A ∪ B) ∩ D) = (A ∩ C) ∪ (B ∩ C) ∪ (A ∩ D) ∪ (B ∩ D)
This page is also available via Gemini at gemini://dcreager.net/sets/distributive.gmi