مجموعه متناهی
در ریاضیات اگر تعداد عضوهای یک مجموعه محدود باشد، آن مجموعه را مُتَناهی گوییم. بهطور غیر صوری، مجموعهٔ متناهی مجموعهای است که اعضای آن قابل شمارش باشند. به این شیوه هم میتوان تعریف کرد که مجموعه ای است که نمیتواند با زیر مجموعههای سره مجموعه تابعی یک به یک و پوشا ساخت؛ به عبارتی دیگر مجموعهای که نامتناهی نباشد را متناهی گویند.
برای نمونه: مجموعه تهی، زیرا زیر مجموعه سره ندارد.
مجموعهای با ۵ عضو است.
به مجموعهای که متناهی نباشد مجموعه نامتناهی گفته میشود. برای نمونه مجموعهٔ همهٔ عددهای صحیح نامتناهی است:
تعریف و اصطلاحشناسی
بهطور صوری، مجموعهٔ الگو:Mvar متناهی نامیده میشود اگر یک تناظر یکبهیک با مجموعهٔ زیر وجود داشته باشد.
که الگو:Mvar یک عدد طبیعی است. عدد الگو:Mvar کاردینالیتی مجموعه است کاردینالیتی مجموعه را با |الگو:Mvar| نشان میدهند. مجموعهٔ تهی (با {} یا Ø نشان داده میشود) مجموعه ای متناهی است که کاردینالیتی آن برابر صفر است.[۱][۲][۳][۴]