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