Sequence of numbers used to represent the cardinality (or size) of infinite sets that can be well-ordered.