Subset of Empty Set

Theorem
Let $A$ be a class.

Then:
 * $A$ is a subset of the empty set $\O$


 * $A$ is equal to the empty set:
 * $A$ is equal to the empty set:


 * $A \subseteq \O \iff A = \O$

Proof
Conversely: