Union with Universe

Theorem

 * $$\mathbb{U} \cup S = \mathbb{U}$$

where $$\mathbb{U}$$ is the universe containing $$S$$.

Proof
$$ $$