Intersection with Universe

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