Union with Empty Set

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


 * $S \cup \O = S$

Also see

 * Intersection with Empty Set