Union with Empty Set/Proof 2
Jump to navigation
Jump to search
Theorem
The union of any set with the empty set is the set itself:
- $S \cup \O = S$
Proof
From Empty Set is Subset of All Sets:
- $\O \subseteq S$
From Union with Superset is Superset‎:
- $S \cup \O = S$
$\blacksquare$