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