Definition:Ordinal/Also known as

From ProofWiki
Jump to navigation Jump to search

Ordinal: Also known as

An ordinal is also known as an ordinal number.


For a given well-ordered set $\struct {S, \preceq}$, the expression:

$\map {\mathrm {Ord} } S$

can be used to denote the unique ordinal which is order isomorphic to $\struct {S, \preceq}$.