Empty Set is Ordinary
Jump to navigation
Jump to search
Theorem
The empty set is an ordinary set:
- $\O \notin \O$
Proof
By definition:
- $\forall x: x \notin \O$
and so in particular:
- $\O \notin \O$
Hence the result.
$\blacksquare$