\begin{definition}[Definition:Generated Subgroup/Definition 2]
Let $G$ be a group.
Let $S \subset G$ be a subset.
The '''subgroup generated by $S$''' is the intersection of all subgroups of $G$ containing $S$.
\end{definition}