Intersection with Universe

Theorem
The intersection of a set with the universe is the set itself:


 * $\mathbb U \cap S = S$

Also see

 * Union with Universe