# Complement of Empty Set is Universe

## Theorem

The complement of the empty set is the universe:

$\map \complement \O = \mathbb U$

## Proof

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

$\blacksquare$