Definition:Ordinal/Definition 3

Definition
An ordinal is a strictly well-ordered set $\struct {\alpha, \prec}$ such that:


 * $\forall \beta \in \alpha: \alpha_\beta = \beta$

where $\alpha_\beta$ is the initial segment of $\alpha$ determined by $\beta$:


 * $\alpha_\beta = \set {x \in \alpha: x \prec \beta}$

Also see

 * Equivalence of Definitions of Ordinal
 * Initial Segment of Ordinal is Ordinal: $\alpha_\beta$ is itself an ordinal