donde formula_45 (este conjunto puede no ser un subgrupo de formula_1).