Group property-conditionally image-potentially characteristic subgroup

From Groupprops

Definition

Suppose is a group property, is a group satisfying , and is a subgroup of . We say that is an image-potentially characteristic subgroup relative to if there exists a surjective homomorphism of groups and a characteristic subgroup of such that .