מחלקה (תורת הקבוצות) – הבדלי גרסאות

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