Union with Empty Set/Proof 2

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


 * $S \cup \varnothing = S$

Proof
From Empty Set is Subset of All Sets:
 * $\varnothing \subseteq S$

From Union with Superset is Superset‎:
 * $S \cup \varnothing = S$