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