Group property-conditionally normal-potentially relatively characteristic subgroup

From Groupprops

Definition

Suppose is a group property, is a group satisfying , and is a subgroup of . We say that is a normal-potentially relatively characteristic subgroup of conditional to if there exists a group containing and satisfying such that is a normal subgroup of and every automorphism of that extends to an automorphism of also restricts to an automorphism of .