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