Empty Set is Small

Theorem

 * $\varnothing \in U$

where $U$ is the universal class.

Proof
Then:

Hence:

Source

 * : $\S 3$: Unordered Pairs
 * : $\S 7.10$
 * : $\S 5.18$