Aritmética de saturación (saturation arithmetic) es una versión de aritmética en la que todas las operaciones como la adición y la multiplicación están limitadas a un rango fijo entre un valor mínimo y uno máximo.
Por lo general, los primeros microprocesadores de computador no implementaron operaciones aritméticas entero usando saturación aritmética; en cambio, utilizaron la más fácil de implementar aritmética modular, en la que los valores que superaban el valor máximo "daban la vuelta" ("wrap around") hacia el valor mínimo, como las horas en un reloj, pasando de 12 a 1.
Sin embargo, aunque más difícil de aplicar, la saturación aritmética tiene numerosas ventajas prácticas.
Adicionalmente, la saturación aritmética permite algoritmos eficientes para muchos problemas, particularmente en el procesamiento digital de señales.
Esto ayuda a los programadores anticipar y comprender mejor los efectos del desbordamiento.
Aunque la saturación aritmética es menos popular para aritmética de enteros en hardware, el estándar IEEE de coma flotante, la más popular abstracción para tratar con números reales aproximados, utiliza una forma de saturación en la que el desbordamiento es convertido en "infinito" o "infinito negativo", y cualquier otra operación con este resultado continúa produciendo el mismo valor.