Si "S" = ∅, entonces  es el grupo trivial {"e"} (lo cual concuerda con la primera definición del subgrupo generado), puesto que el resultado de un producto vacío se define como el elemento neutro.