Definition:Finitely Generated Algebraic Structure

Definition
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.