קבוצה בת מנייה – הבדלי גרסאות

ב[[תורת הקבוצות]], '''קבוצה בת מנייה''' היא קבוצה ש[[עוצמה (מתמטיקה)|עוצמתה]] שווה לעוצמת תת קבוצה כלשהי של ה[[מספר|מספרים הטבעיים]], כלומר ניתן למספר את [[איבר (מתמטיקה)|איבריה]] כך שלכל איבר יותאם מספר טבעי ייחודי לו, וכל המספרים הטבעיים יכוסו;. במילים אחרות, כדי להוכיח שקבוצה היא בת מנייה, יש ליצור פוקנציה [[התאמה חד-חד ערכית]] ו[[על]] בינה לבין קבוצת ה[[מספר טבעי|מספרים הטבעיים]]. לעתיםעוצמה כולליםשל בהגדרהקבוצה זובת גםמניה אתיכולה הקבוצותלהיות הסופיותסופית, או אינסופית. לדוגמה, קבוצת המספרים הטבעיים הזוגיים, היא תת קבוצה של המספרים הטבעיים ועוצמה היא אינסופית.