Definition:Finitely Generated