La aritmética modular se basa en una relación de equivalencia, y las clases de equivalencia de un entero "a" se denota con ["a"] (o simplemente ["a"] si sobreentendemos el módulo.) Otras notaciones son por ejemplo "a" + "nZ o "a" mod "n".