Sea formula_1 un grupo y formula_45, y defínanse los conjuntos