In
set theory, an
ordinal number, or
ordinal, is one generalization of the concept of a
natural number that is used to describe a way to arrange a collection of objects in order, one after another. Any finite collection of objects can be put in order just by labelling the objects with distinct whole numbers. Ordinal numbers are thus the "labels" needed to arrange infinite collections of objects in order. Ordinals are distinct from
cardinal numbers, which are useful for saying how many objects are in a collection. Although the distinction between ordinals and cardinals is not always apparent in finite sets (one can go from one to the other just by counting labels), different infinite ordinals can describe the same cardinal (see
Hilbert's grand hotel).