Las clases de equivalencia con respecto a la relación de congruencia se llaman también clases de congruencia.