Si "S" es el conjunto vacío, F("S") es entonces el grupo trivial que contiene sólo la cadena vacía como su elemento neutro.