In mathematics, in the field of group theory, a subgroup of a group is said to be polynormal if its closure under conjugation by any element of the group can also be achieved via closure by conjugation by some element in the subgroup generated. In symbols, a subgroup of a group is called polynormal if for any the subgroup is the same as . Here are the relationships with other subgroup properties: Every weakly pronormal subgroup is polynormal. Every paranormal subgroup is polynormal. Subgroup properties