Definition:Ordinal/Definition 1

Definition
Let $\alpha$ be a set.

$\alpha$ is an ordinal it fulfils the following conditions:

where $\Epsilon {\restriction_\alpha}$ is the restriction of the epsilon relation to $\alpha$.

Also see

 * Equivalence of Definitions of Ordinal