Union with Empty Set

Theorem
$$S \cup \varnothing = S$$