Adjective
polynormal (not comparable) (group theory, of a subgroup) Such that its closure under conjugation by any element of the parent group can also be achieved via closure by conjugation by some element in the subgroup generated.