مجموعه متناهی

در ریاضیات اگر تعداد عضوهای یک مجموعه محدود باشد، آن مجموعه را مُتَناهی گوییم. به‌طور غیر صوری، مجموعهٔ متناهی مجموعه ای است که اعضای آن قابل شمارش باشند. به این شیوه هم می‌توان تعریف کرد که مجموعه ای است که نمی‌تواند با زیر مجموعه های سره مجموعه تابعی یک به یک و پوشا ساخت؛ به عبارتی دیگر مجموعه‌ای که نامتناهی نباشد را متناهی گویند.

برای نمونه: مجموعه تهی، زیرا زیر مجموعه سره ندارد.

${\displaystyle \{2,4,6,8,10\}}$

مجموعه‌ای با ۵ عضو است.

به مجموعه‌ای که متناهی نباشد مجموعه نامتناهی گفته می‌شود. برای نمونه مجموعهٔ همهٔ عددهای صحیح نامتناهی است:

${\displaystyle \{\dots ,-3,-2,-1,0,1,2,3,\dots \}.}$