Resposta:
é um 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.
