(Este conjunto puede no ser un grupo aún cuando formula_2 y formula_85 lo sean).