Finitely generated group

group G that has some finite generating set S so that every element of G can be written as the product of finitely many elements of the finite set S and of inverses of such element