Sea formula_24 un grupo y formula_232, y defínanse los conjuntos