Intersection with Universe

Theorem

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

Proof
$$ $$