Complement of Empty Set is Universe

From ProofWiki
Jump to navigation Jump to search

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.

$\blacksquare$


Also see


Sources