Weakly normal subgroup

In mathematics, in the field of group theory, a subgroup formula_1 of a group formula_2 is said to be weakly normal if whenever formula_3, we have formula_4.
Every pronormal subgroup is weakly normal.