Empty Set is Ordinary

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.