Definition:Finitely Generated Monoid