Definition:Generator of Subgroup/Definition by Predicate

Definition
A generator of a subgroup can be defined by a predicate.

For example:


 * $\gen {x \in G: x^2 = e}$

defines the subgroup of $G$ generated by the elements of $G$ of order $2$.