קבוצה סופית
קבוצה סופית היא קבוצה שיש בה מספר סופי של אברים.
למרות שאינטואיטיבית ברור במה מדובר, מושג הסופיות אינו פשוט כפי שנראה ממבט ראשון. ריכארד דדקינד הגדיר זאת באופן הבא:
- קבוצה A היא סופית אם היא אינה שוות-עוצמה לאף תת-קבוצה שלה.
(תרגיל: הראה שהגדרה זו שקולה להגדרה הבאה:
- כל פונקציה חד-חד-ערכית מ-A לעצמה, היא על.)
ראו בויקיפדיה לפרטים נוספים.