Class

Proper class

A proper class is a Class which is not the element of any other class, and therefore not a set. If elementhood is defined by

then a proper class satisfies .

#state/tidy | #lang/en | #SemBr