En la primera sección, vimos que cada subgrupo formula_6 de un grupo formula_19 define dos relaciones de equivalencia en el conjunto formula_6.