Potentially characteristic subgroup

You might be looking for:

• NPC theorem: A normal subgroup $H$ of a group $G$ is potentially characteristic: there exists a group $K$ containing $G$ such that $H$ is a characteristic subgroup of $K$.
• Group property-conditionally potentially characteristic subgroup: This is the notion of being potentially characteristic with respect to a group property.
• potentially characteristic subgroups characterization theorem