Variety-containing subgroup of finite group

Definition
A subgroup of a finite group is termed a variety-containing subgroup of finite group if it satisfies the following equivalent conditions:


 * 1) It is a defining ingredient::variety-containing subgroup of the whole group.
 * 2) It is a defining ingredient::subhomomorph-containing subgroup of the whole group.
 * 3) It is a defining ingredient::subisomorph-containing subgroup of the whole group.