בתורת הקבוצות, קבוצה בַּת מְנִיָּה היא קבוצה שקיימת פונקציה חד⁻חד ערכית ממנה לקבוצת המספרים הטבעיים. קבוצה בת⁻מנייה היא סופית, או קבוצה אינסופית שעוצמתה אָלֶף אֶפֶס (\aleph_0). על קבוצה כזו נאמר שהיא נמצאת בהתאמה לקבוצת המספרים הטבעיים. לכן, ניתן לסדר את איבריה בסדרה, ללא חזרות. לדוגמה, קבוצת המספרים הרציונליים וקבוצת המספרים האלגבריים, הן בנות⁻מנייה. לעומת זאת, קבוצת המספרים הממשיים היא קבוצה שאינה בת⁻מנייה. כל קבוצה אינסופית שאפשר לסדר את איבריה בסדרה, ואפילו עם חזרות, היא בת⁻מנייה (לפי משפט קנטור⁻שרדר⁻ברנשטיין). עובדה זו נדרשת בהוכחה של טענות יסודיות כמו שאיחוד קבוצות בן מנייה, גם הוא בן מנייה. מתוך ויקיפדיה

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

בחישוביות, קבוצה בת מנייה נקראת ניתנת למנייה רקורסיבית (נל"ר) או בת מנייה רקורסיבית (במ"ר) או כריעה חיובית (כריעה למחצה) אם קיים אלגוריתם שבהינתן קלט, עוצר אם האיבר הנקלט שייך לקבוצה זו. לחלופין, קיים אלגוריתם שמייצר רשימה (ייתכן ואינסופית) של כלל האיברים בקבוצה. קבוצת בעיות אלו מסומנת לרוב בסימון RE (Recursively Enumerable), מכיוון שקיים אלגוריתם המונה את אבריהם. מתוך ויקיפדיה

קבוצה בדידה, קבוצה בלתי קשירה לחלוטין, קבוצה בלתי תלויה (אלגברה לינארית), קבוצה בלתי תלויה (תורת הגרפים), קבוצה בת מניה, קבוצה בת מנייה רקורסיבית, קבוצה בת⁻מניה, קבוצה בת⁻מנייה, קבוצה גדירה, קבוצה דיסקרטית