Absorption Laws (Set Theory)/Union with Intersection

Theorem

 * $S \cup \paren {S \cap T} = S$

Also see

 * Intersection Absorbs Union, where it is proved that $S \cap \paren {S \cup T} = S$

These two results together are known as the Absorption Laws, corresponding to the equivalent results in logic.