Union with Universe

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


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

Also see

 * Intersection with Universe