\begin{definition}[Definition:Class/Proper Class]
A '''proper class''' is a class which is not a set.
That is, $A$ is a '''proper class''' {{iff}}:
:$\neg \exists x: x = A$
where $x$ is a set.
\end{definition}