Definition:Finitely Many