Definition:Class Membership
Contents
Definition
To define membership not only for sets, but also for proper classes, we will extend the membership relation to include specific behaviors with proper classes and sets alike:
- $\forall A,B: ( A \in B \iff \exists x: ( A = x \land x \in B ) )$
With this definition, no proper class is a member of any other class, proper or not.
Justification
With this definition, no proper class is a member of any class, since they are not equal to another set. This definition only establishes a particular behavior for proper classes.
Also see
- Definition:Universal Class
- Definition:Class/Zermelo-Fraenkel, where class membership is taken to be a definitional abbreviation
In particular: This currently stands on its own with no context. That context needs to be added..
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
Sources
- 1963: Willard Van Orman Quine: Set Theory and Its Logic: $\S 6.3$
