Union with Empty Set

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

Proof
$$ $$ $$ $$ $$