Sean formula_1 un grupo, formula_3 un subconjunto no vacío de formula_14 Sea formula_35 el conjunto formado por todos los productos de la forma