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. Si el resultado de una operación es mayor que el máximo, es ajustada ("restringida") al máximo; Si está por debajo del mínimo, es restringida al mínimo. El nombre viene de cómo los valores se vuelven "saturados" una vez que alcanzan los valores extremos; más adiciones al máximo o sustracciones al mínimo no cambiarán el resultado.