Definition:Class/Proper Class

From ProofWiki
Jump to: navigation, search

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.


Also see


Sources