\begin{definition}[Definition:Finitely Generated Algebraic Structure]
Let $\struct {A, \circ}$ be an algebraic structure.
Let $\struct {A, \circ}$ have a generator which is finite.
Then $\struct {A, \circ}$ is '''finitely generated'''.
\end{definition}