Más generalmente, un subconjunto "S" de un grupo libre "F" es una base de "F" si "F" es grupo libre en "S" con respecto a la función identidad.