Definition:Class/Proper Class

From ProofWiki
Jump to navigation Jump to search


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

That is, $A$ is a proper class if and only if:

$\neg \exists x: x = A$

where $x$ is a set.

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

Also see