Algebraic subgroup

Definition
A subgroup of a group is termed an algebraic subgroup if it is an defining ingredient::algebraic subset of the group, i.e., it is an intersection of finite unions of defining ingredient::elementary algebraic subsets.