e/Contranormal subgroup

Information
has gloss	eng: 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.
lexicalization	eng: contranormal subgroup
instance of	c/Subgroup properties