Intersection with Universe

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


 * $$\mathbb U \cap S = S$$

Proof
$$ $$

Also see

 * Union with Universe