El grupo más general posible generado por un conjunto "S" es el grupo libremente generado por "S".