Contranormal subgroup

In mathematics, in the field of group theory, a contranormal subgroup is a subgroup whose
normal closure in the group is the whole group. Clearly, a contranormal subgroup can be normal only if it is the whole group.
Some facts: