Union with Universe

Theorem
The union of a set with the universe is the universe:


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

Proof
$$ $$

Also see

 * Intersection with Universe