Definition:Class (Class Theory)/Proper Class
< Definition:Class (Class Theory)(Redirected from Definition:Proper Class)
Jump to navigation
Jump to search
Definition
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.
Also see
- Definition:Small Class: A class which is not a proper class.
Sources
- 1971: Gaisi Takeuti and Wilson M. Zaring: Introduction to Axiomatic Set Theory: $\S 4.10$
- 1996: Winfried Just and Martin Weese: Discovering Modern Set Theory. I: The Basics ... (previous) ... (next): Part $1$: Not Entirely Naive Set Theory: Chapter $2$: Partial Order Relations
- 2002: Thomas Jech: Set Theory (3rd ed.) ... (previous) ... (next): Chapter $1$: Classes