Consideremos, por ejemplo, el conjunto de símbolos formula_3 y el grupo libre sobre formula_4, representado por formula_5.