Characteristic subgroup of pronormal subgroup

Definition
A subgroup of a group is termed a characteristic subgroup of pronormal subgroup if it can be expressed as a characteristic subgroup of a pronormal subgroup of the whole group.

Stronger properties

 * Weaker than::Normal subgroup
 * Weaker than::Pronormal subgroup

Weaker properties

 * Stronger than::Subgroup with abnormal normalizer