Los otros conjuntos son entonces las clases laterales de este subgrupo normal.