Definition:Finitely Generated Algebraic Structure

Definition
Let $\left({A, \circ}\right)$ be an algebraic structure.

Let $\left({A, \circ}\right)$ have a generator which is finite.

Then $\left({A, \circ}\right)$ is finitely generated.