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

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