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} = \struct {S, S, \in_S}$, where:

${\in_S} := \set {\tuple {x, y} \in S \times S: x \in y}$


Sources