Union with Empty Set/Proof 1

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


 * $S \cup \varnothing = S$