Equivalence of definitions of generating set

Definition in terms of expressions
A subset $$S$$ of a group $$G$$ is