Absorption Laws (Set Theory)/Intersection with Union

Theorem

 * $S \cap \left({S \cup T}\right) = S$

Also see

 * Absorption Laws: Union with Intersection, where it is proved that $S \cup \left({S \cap T}\right) = S$

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