Para que las particiones en clases de congruencia por la derecha y por la izquierda según un subgrupo N coincidan, es necesario y suficiente que el subgrupo N sea invariante.