Root subgroup

Definition
A subgroup $$H$$ of a group $$G$$ is termed a root subgroup if there exists an integer $$n$$ such that:

$$H := \{ g \mid g^n = e \}$$

When $$G$$ is a finite group, a root subgroup is the same as a variety-containing subgroup of finite group.