Definition:Ordinal/Also known as
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}$.