Definition:Epsilon Relation/Restriction
< Definition:Epsilon Relation(Redirected from Definition:Epsilon Restriction)
Jump to navigation
Jump to search
Definition
Let $S$ be a set.
The restriction of the epsilon relation on $S$ is defined as the endorelation $\Epsilon {\restriction_S} = \struct {S, S, \in_S}$, where:
- ${\in_S} := \set {\tuple {x, y} \in S \times S: x \in y}$
Sources
- 1977: Herbert B. Enderton: Elements of Set Theory: $\S 7.6$