 Normal closure

The normal closure of a subset $S\subseteq G$ is the smallest normal subgroup containing $S$, equivalently the subgroup generated by all conjugates $gs{g}^{-1}$ with $g\in G$ and $s\in S$.