Set is Small Class

Theorem
Let $x$ be a set.

Then $x$ is a small class.

Proof

 * $x = x$

Therefore by Existential Generalisation:
 * $\exists y: x = y$