Union with Empty Set/Proof 2

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

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