# Definition:Contranormal Subgroup

Let $G$ be a group.
Let $H$ be a subgroup of $G$.
Then $H$ is a contranormal subgroup if and only if the normal closure of $H$ is the whole of $G$.