Empty Set is Small

Theorem

 * $\O \in U$

where $U$ is the universal class.

Proof
Then:

Hence: