\begin{definition}[Definition:Generator of Subgroup/Definition by Predicate]
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$.
\end{definition}