Definition:Epsilon Relation
You can help ProofWiki 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.
Please fix formatting and $\LaTeX$ errors and inconsistencies.
It may also need to be brought up to our standard house style.
If you have done this or know it has been done, please remove {{Tidy}} from the code.
Definition
As $\in$ (the membership primitive) is technically not a class itself nor a relation, but a primitive, it is necessary to introduce a class which behaves identically to the membership relation $\in$ for sets. Currently, it is improper syntax to say, for example, that $\in$ is a strict well-ordering on the ordinals, so we introduce the $\in$-relation to be able to create analogous statements for equality. This will be referred to as the epsilon relation and will be denoted by $\Epsilon$.
- $\Epsilon = \{ ( x , y ) : x \in y \}$. Thus, it is a relation, taking arguments from ordered pairs of sets $x$ and $y$.
The relation is a collection of ordered pairs such that $( x , y ) \in E \iff x \in y$. (Notice that this does not hold for proper classes).
