Na
teoria dos conjuntos, um
número ordinal, ou só ordinal, é o tipo de ordem de um conjunto bem-ordenado. Eles são usualmente identificados com conjuntos hereditariamente transitivos. Ordinais são uma extensão dos
Números Naturais diferentes dos
inteiros e dos
cardinais. Como outros tipos de números, ordinais podem ser somados, multiplicados e exponenciados.
Os ordinais foram apresentados por
Georg Cantor en 1883 para acomodar sequências infinitas e para classificar conjuntos com certos tipos de estruturas de ordem neles. Ele os derivou por acidente, enquanto trabalhava num problema que envolvia séries trigonométricas – veja em
Georg Cantor.