\begin{definition}[Definition:Generated Normal Subgroup/Definition 1]
Let $G$ be a group. 
Let $S \subseteq G$ be a subset.
The '''normal subgroup generated by $S$''', denoted $\gen {S^G}$,  is the intersection of all normal subgroups of $G$ containing $S$.
\end{definition}