Definition:Epsilon Relation/Restriction

From ProofWiki
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} = \left({S, S, \in_S}\right)$, where:

$\in_S \; := \left\{{\left({x, y}\right) \in S \times S: x \in y}\right\}$


Sources