En teoría de conjuntos, la aritmética ordinal describe tres operaciones de la aritmética —suma, multiplicación y exponenciación— aplicadas a los números ordinales. Cada operación puede definirse bien por recursión transfinita, bien definiendo los conjuntos bien ordenados que las representan.