Characteristic core of subgroup of finite index

Definition
A subgroup of a group is termed a characteristic core of subgroup of finite index if it arises as the defining ingredient::characteristic core of a defining ingredient::subgroup of finite index in the whole group.