# Definition:Class (Class Theory)

## Definition

A **class** is a collection of all sets such that a particular condition holds.

In class builder notation, this is written as:

- $\set {x: \map p x}$

where $\map p x$ is a statement containing $x$ as a free variable.

This is read:

**All $x$ such that $\map p x$ holds.**

## Definition in ZF Set Theory

A **class** in $\textrm{ZF}$ is a formal vehicle capturing the intuitive notion of a class, namely a collection of all sets such that a particular condition $P$ holds.

In $\textrm{ZF}$, **classes** are written using class builder notation:

- $\set {x : \map P x}$

The validity of the material on this page is questionable.Wouldn't you need the Class Comprehension Axiom for this?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Questionable}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

where $\map P x$ is a statement containing $x$ as a free variable.

More formally, a **class** $\set {x: \map P x}$ serves to define the following definitional abbreviations involving the membership symbol:

\(\ds y \in \set {x: \map P x}\) | \(\text{for}\) | \(\ds \map P y\) | ||||||||||||

\(\ds \set {x: \map P x} \in y\) | \(\text{for}\) | \(\ds \exists z \in y: \forall x: \paren {x \in z \iff \map P x}\) | ||||||||||||

\(\ds \set {x: \map P x} \in \set {y: \map Q y}\) | \(\text{for}\) | \(\ds \exists z: \paren {\map Q z \land \forall x: \paren {x \in z \iff \map P x} }\) |

where:

- $x, y ,z$ are variables of $\textrm{ZF}$
- $P, Q$ are propositional functions.

Through these "rules", every statement involving $\set {x: \map P x}$ can be reduced to a simpler statement involving only the basic language of set theory.

## Proper Class

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

- Results about
**classes**can be found here.

## Sources

- 1971: Gaisi Takeuti and Wilson M. Zaring:
*Introduction to Axiomatic Set Theory*: $\S 4.2$ - 1993: Richard J. Trudeau:
*Introduction to Graph Theory*... (previous) ... (next): $2$. Graphs: Paradox - 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 - 1996: H. Jerome Keisler and Joel Robbin:
*Mathematical Logic and Computability*... (previous) ... (next): Appendix $\text A$: Sets and Functions: $\text{A}.1$: Sets - 2002: Thomas Jech:
*Set Theory*(3rd ed.) ... (previous) ... (next): Chapter $1$: Classes - 2010: Raymond M. Smullyan and Melvin Fitting:
*Set Theory and the Continuum Problem*(revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory