Equivalence of Definitions of Ordinal/Definition 3 is equivalent to Definition 4

From ProofWiki
Jump to navigation Jump to search


The following definitions of the concept of Ordinal are equivalent:

Definition 3

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

Definition 4

$\alpha$ is an ordinal if and only if:

$\alpha$ is an element of every superinductive class.