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 .


tidy | en | sembr