Commutative law for union and intersection. A ∪ B = B ∪ A, A ∩ B = B ∩ A. Associative law for union and intersection. (A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C). Distributive law for union over intersection. A ∪ ( B ∩ C) = (A ∪ B) ∩ (A ∪ C). Distributive law for intersection over union. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). Difference of sets A ∖ B = A ∩ B'. De Morgan's law for sets (A ∪ B)' = A'∩ B', (A ∩ B)' = A' ∪ B'.