Definition:Class/Proper Class

(Redirected from Definition:Proper Class)

Definition

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.

A class which is not a proper class is a small class.