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

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