Union Absorbs Intersection/Proof 1

Theorem

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


Proof

\(\ds \) \(\) \(\ds \paren {S \cap T} \subseteq S\) Intersection is Subset
\(\ds \) \(\leadsto\) \(\ds S \cup \paren {S \cap T} = S\) Union with Superset is Superset‎

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.