Complement of Empty Set is Universe

Theorem
The complement of the empty set is the universe:


 * $\complement \paren \O = \mathbb U$

Proof
Substitute $\mathbb U$ for $S$ in $\complement_S \paren \O = S$ from Relative Complement of Empty Set.

Also see

 * Complement of Universe is Empty Set