Definition:Epsilon Relation/Restriction

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}$