Element of Universe

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

Then:
 * $\forall A: \left({A \in U \iff \exists x: x = A}\right)$

where $U$ is the universal class.

Source

 * : $\S 6.9$