Normal closure (source code)

= Normal closure
{wiki}

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