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

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