Un numero
ordinale è genericamente un'entità che si colloca naturalmente in un insieme omogeneo munito di una relazione d'ordine ampiamente riconosciuta come
canonica; gli ordinali vengono usati per questa loro caratteristica per associarli biunivocamente ad altre entità per formare un elenco ordinato, cioè un insieme discreto
totalmente ordinato. Tipicamente si usano come ordinali i
numeri interi positivi 1, 2, 3, ecc.