Element of Universe

Theorem
Let $A$ be a class, which may be either a set or a proper class.

Then:
 * $\forall A: \paren {A \in U \iff \exists x: x = A}$

where $U$ is the universal class.

That is, if $A$ is an element of $U$, then $A$ is a set.