numero ordinale

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.