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.