Set is Small Class

Theorem
Let $x$ be a set.

Then $x$ is small.

Proof

 * $x = x$, so $\exists y: x = y$ by Existential Generalisation.