Complement of Universe is Empty Set

From ProofWiki
Jump to: navigation, search

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.

$\blacksquare$


Also see


Sources