Purely definably generated subgroup

Definition
A subgroup of a group is termed purely definably generated if it has a generating set that is a definable subset in terms of the first-order theory of the group.

Stronger properties

 * Weaker than::Purely definable subgroup

Weaker properties

 * Stronger than::Characteristic subgroup