Sabemos del estudio de los grupos que las congruencias de un grupo son equivalentes a las relaciones de equivalencia definidas por subgrupos normales.