La aritmética modular puede ser construida matemáticamente mediante la "relación de congruencia" entre enteros, que es compatible con las operaciones en el anillo de enteros: suma y multiplicación.