Sea N un subgrupo invariante de un grupo G, además sean C y D dos clases de congruencia según N : C = Nc y D = Nd.