Editing Class (set theory)

{{short description|Collection of sets in mathematics that can be defined based on a property of its members}}
In [[set theory]] and its applications throughout [[mathematics]], a '''class''' is a collection of [[Set (mathematics)|sets]] (or sometimes other mathematical objects) that can be unambiguously defined by a [[property_(mathematics)|property]] that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid paradoxes, especially [[Russell's paradox]] (see ''{{format link|#Paradoxes}}''). The precise definition of "class" depends on foundational context. In work on [[Zermelo–Fraenkel set theory]], the notion of class is informal, whereas other set theories, such as [[von Neumann–Bernays–Gödel set theory]], axiomatize the notion of "proper class", e.g., as entities that are not members of another entity.

A class that is not a set (informally in Zermelo–Fraenkel) is called a '''proper class''', and a class that is a set is sometimes called a '''small class'''. For instance, the class of all [[ordinal number]]s, and the class of all sets, are proper classes in many formal systems.

In [[Willard Van Orman Quine|Quine]]'s set-theoretical writing, the phrase "ultimate class" is often used instead of the phrase "proper class" emphasising that in the systems he considers, certain classes cannot be members, and are thus the final term in any membership chain to which they belong.

Outside set theory, the word "class" is sometimes used synonymously with "set". This usage dates from a historical period where classes and sets were not distinguished as they are in modern set-theoretic terminology.<ref>[[Bertrand Russell]] (1903). ''[[The Principles of Mathematics]]'',  [https://archive.org/details/principlesofmath005807mbp/page/n109/mode/2up Chapter VI: Classes], via [[Internet Archive]]</ref> Many discussions of "classes" in the 19th century and earlier are really referring to sets, or rather perhaps take place without considering that certain classes can fail to be sets.{{non primary source needed|date=November 2024}}

== Examples ==
The collection of all [[algebraic structure]]s of a given type will usually be a proper class. Examples include the class of all [[group (mathematics)|group]]s, the class of all [[vector space]]s, and many others. In [[category theory]], a [[Category (mathematics)|category]] whose collection of [[Object (category theory)|objects]] forms a proper class (or whose collection of [[morphism]]s forms a proper class) is called a [[large category]].

The [[surreal number]]s are a proper class of objects that have the properties of a [[field (mathematics)|field]].

Within set theory, many collections of sets turn out to be proper classes. Examples include the class of all sets (the universal class), the class of all ordinal numbers, and the class of all [[cardinal number]]s.

One way to prove that a class is proper is to place it in [[bijection]] with the class of all ordinal numbers. This method is used, for example, in the proof that there is no [[free lattice#The complete free lattice|free]] [[complete lattice#Free complete lattices|complete lattice]] on three or more [[Generator (mathematics)|generators]].

== Paradoxes ==
The [[naive set theory#Paradoxes|paradoxes of naive set theory]] can be explained in terms of the inconsistent [[tacit assumption]] that "all classes are sets". With a rigorous foundation, these paradoxes instead suggest [[proof (mathematics)|proof]]s that certain classes are proper (i.e., that they are not sets). For example, [[Russell's paradox]] suggests a proof that the class of all sets which do not contain themselves is proper, and the [[Burali-Forti paradox]] suggests that the class of all [[ordinal numbers]] is proper. The paradoxes do not arise with classes because there is no notion of classes containing classes. Otherwise, one could, for example, define a class of all classes that do not contain themselves, which would lead to a Russell paradox for classes.  A [[conglomerate (category theory)|conglomerate]], on the other hand, can have proper classes as members.<ref>{{citation |last1=Herrlich |first1=Horst |author-link1=Horst Herrlich|last2=Strecker |first2=George |year=2007 |title=Category theory |chapter=Sets, classes, and conglomerates |chapter-url=http://www.heldermann.de/SSPM/SSPM01/Chapter-2.pdf |url=http://www.heldermann.de/SSPM/SSPM01/sspm01.htm |publisher= Heldermann Verlag |edition=3rd |pages=9–12}}</ref>

== Classes in formal set theories ==
[[ZF set theory]] does not formalize the notion of classes, so each formula with classes must be reduced syntactically to a formula without classes.<ref>{{citation |url=http://us.metamath.org/mpegif/abeq2.html |title=abeq2 – Metamath Proof Explorer |publisher=us.metamath.org |date=1993-08-05 |access-date=2016-03-09}}</ref>  For example, one can reduce the formula <math>A = \{x\mid x=x \}</math> to <math>\forall x(x\in A\leftrightarrow x=x)</math>. For a class <math>A</math> and a set variable symbol <math>x</math>, it is necessary to be able to expand each of the formulas <math>x\in A</math>, <math>x=A</math>, <math>A\in x</math>, and <math>A=x</math> into a formula without an occurrence of a class.<ref>J. R. Shoenfield, "Axioms of Set Theory". In ''Handbook of Mathematical Logic'', Studies in Logic and the Foundations of mathematical vol. 90, ed. J. Barwise (1977)</ref><sup>p. 339</sup>

Semantically, in a [[metalanguage]], the classes can be described as [[equivalence classes]] of [[Well-formed formula|logical formulas]]: If <math>\mathcal A</math> is a [[structure (mathematical logic)|structure]] interpreting ZF, then the object language "class-builder expression" <math>\{x \mid \phi \}</math> is interpreted in <math>\mathcal A</math> by the collection of all the elements from the domain of <math>\mathcal A</math> on which <math>\lambda x\phi</math> holds; thus, the class can be described as the set of all predicates equivalent to <math>\phi</math> (which includes <math>\phi</math> itself). In particular, one can identify the "class of all sets" with the set of all predicates equivalent to <math>x=x</math>.{{citation needed|date=June 2024}}<!--Is this treatment of classes common, and does it account for formulas with parameters?-->

Because classes do not have any formal status in the theory of ZF, the axioms of ZF do not immediately apply to classes. However, if an [[inaccessible cardinal]] <math>\kappa</math> is assumed, then the sets of smaller rank form a model of ZF (a [[Grothendieck universe]]), and its subsets can be thought of as "classes".

In ZF, the concept of a [[function (mathematics)|function]] can also be generalised to classes. A class function is not a function in the usual sense, since it is not a set; it is rather a formula <math>\Phi(x,y)</math> with the property that for any set <math>x</math> there is no more than one set <math>y</math> such that the pair <math>(x,y)</math> satisfies <math>\Phi</math>. For example, the class function mapping each set to its powerset may be expressed as the formula <math>y = \mathcal P(x)</math>. The fact that the ordered pair <math>(x,y)</math> satisfies <math>\Phi</math> may be expressed with the shorthand notation <math>\Phi(x)=y</math>.

Another approach is taken by the [[von Neumann–Bernays–Gödel axioms]] (NBG); classes are the basic objects in this theory, and a set is then defined to be a class that is an element of some other class. However, the class existence axioms of NBG are restricted so that they only quantify over sets, rather than over all classes. This causes NBG to be a [[conservative extension]] of ZFC.

[[Morse–Kelley set theory]] admits proper classes as basic objects, like NBG, but also allows quantification over all proper classes in its class existence axioms. This causes MK to be strictly stronger than both NBG and ZFC.

In other set theories, such as [[New Foundations]] or the theory of [[semiset]]s, the concept of "proper class" still makes sense (not all classes are sets) but the criterion of sethood is not closed under subsets. For example, any set theory with a [[universal set]] has proper classes which are subclasses of sets.

== Notes ==
{{reflist}}

== References ==
* {{citation |last1=Jech |first1=Thomas |author1-link=Thomas Jech |title=Set Theory |publisher=[[Springer-Verlag]] |edition=third millennium |location=Berlin, New York |series=Springer Monographs in Mathematics |isbn=978-3-540-44085-7 |year=2003 }}
* {{citation |author-link=Azriel Levy |last1=Levy |first1=A. |title=Basic Set Theory |publisher=[[Springer-Verlag]] |location=Berlin, New York |year=1979 }}
* {{citation |first1=Raymond M. |last1=Smullyan |first2=Melvin |last2=Fitting |date=2010 |title=Set Theory And The Continuum Problem |publisher=Dover Publications |isbn=978-0-486-47484-7 }}
* {{citation |last1=Monk |first1=Donald J. |date=1969 |title=Introduction to Set Theory |publisher=McGraw-Hill Book Co. |isbn=9780070427150 }}

== External links ==
* {{MathWorld |title=Set Class |id=SetClass|mode=cs2 }}

{{Mathematical logic}}
{{Set theory}}

[[Category:Set theory]]