El grupo libre sobre "S" se denota por F("S"), y se puede construir como sigue: