Normal-potentially fully invariant subgroup

Definition
A subgroup $$H$$ of a group $$G$$ is termed a normal-potentially fully invariant subgroup of $$G$$ if there exists a group $$K$$ containing $$G$$ as a defining ingredient::normal subgroup, such that $$H$$ is a fully invariant subgroup of $$K$$.