Algebraic subset

Definition
A subset $$S$$ of a group $$G$$ is termed an algebraic subset if $$S$$ can be expressed as an arbitrary intersection of a finite union of defining ingredient::elementary algebraic subsets of $$G$$.