\begin{definition}[Definition:Generated Subgroup/Definition 3]
Let $G$ be a group.
Let $S \subset G$ be a subset.
Let $S^{-1}$ be the set of inverses of $S$.
The '''subgroup generated by $S$''' is the set of words on the union $S \cup S^{-1}$.
\end{definition}