הצגת המקור של הדף "קבוצה סופית"

'''קבוצה סופית''' היא [[קבוצה]] שיש בה מספר סופי של אברים.

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

ראו ב[http://he.wikipedia.org/wiki/%D7%A7%D7%91%D7%95%D7%A6%D7%94_%D7%A1%D7%95%D7%A4%D7%99%D7%AA ויקיפדיה] לפרטים נוספים.

[[קטגוריה:תורת הקבוצות]]