Definition:Ordinal

An ordinal is a well-ordered set $$S$$ such that:
 * $$\forall a \in S: S_a = a$$

where $$S_a$$ is the segment of $$S$$ determined by $$a$$.