Category:Ordinals

$\alpha$ is an ordinal if and only if it fulfils the following conditions:
 $(1)$ $:$ $\alpha$ is a transitive set $(2)$ $:$ $\Epsilon {\restriction_\alpha}$ strictly well-orders $\alpha$
where $\Epsilon {\restriction_\alpha}$ is the restriction of the epsilon relation to $\alpha$.