Subgroup whose normal core is fully invariant

Definition
A subgroup of a group is termed a subgroup whose normal core is fully invariant if its defining ingredient::normal core is a defining ingredient::fully invariant subgroup.