Es decir, si todo elemento de G puede expresarse como una palabra en S.