Complement of Universe is Empty Set

Theorem
The complement of the universe is the empty set:


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

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

Also see

 * Complement of Empty Set is Universe