Union with Empty Set/Proof 2

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

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