Union with Universe

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