pronormal subgroup

a subgroup each of whose conjugates is conjugate to it already in the subgroup generated by it and its conjugate