Union with Empty Set

Theorem
The union of any set with the empty set is the set itself:


 * $$S \cup \varnothing = S$$

Proof
$$ $$ $$ $$ $$