\begin{definition}[Definition:Contranormal Subgroup]
Let $G$ be a group.
Let $H$ be a subgroup of $G$.
Then $H$ is a '''contranormal subgroup''' {{iff}} the normal closure of $H$ is the whole of $G$.
\end{definition}