En matemática, un ordinal es un número que denota la posición de un elemento perteneciente a una sucesión ordenada.
En este sentido, es aquel numeral que expresa la idea de orden o sucesión.
Cuando se trata de conjuntos finitos, los números naturales, los ordinales y los cardinales coinciden, es decir, son básicamente identificables.
En el caso de conjuntos infinitos la situación es más complicada y hay que distinguir entre ordinales y cardinales (además, para conjuntos infinitos los números naturales no son de utilidad).
El aspecto del tamaño de un conjunto se describe mediante números cardinales, que también fueron descubiertos por Cantor, mientras que el aspecto de la posición se generaliza mediante los números ordinales, los cuales analizaremos aquí.
Este último resultado es la generalización de la misma propiedad sobre los naturales, lo que permite enunciar y utilizar inducción transfinita para demostrar propiedades sobre ordinales.