Union with Complement

Theorem
The union of a set and its complement is the universe:


 * $S \cup \map \complement S = \mathbb U$

Proof
Substitute $\mathbb U$ for $S$ and $S$ for $T$ in $T \cup \relcomp S T = S$ from Union with Relative Complement.

Also see

 * Intersection with Complement