Relación de Congruencia

Una relación de equivalencia sobre una estructura algebraica que es preservada por cada operación básica del álgebra, de modo que el conjunto de clases de equivalencia hereda operaciones inducidas bien definidas y forma una álgebra cociente.