שינויים
/* מחלקות שקילות וחלוקה */
שלום במסקנה בהרצאה 3 במערכי הרצאה מיד לאחר המשפט האחרון אפשר בבקשה הסבר מדוע המשפט מוכיח לי שבאותה הקבוצה שהוגדרה במסקנה של המחלקות שקילות האיחוד נותן את הקבוצה כולה (שהיא תנאי לחלוקה)? איך זה נובע מהמהשפט? תודה.
:(לא מרצה/מתרגל) המשפט מוכיח שכל שתי תתי קבוצות שונות הן זרות, להוכיח שהאיחוד שווה ל- A זה הרבה יותר פשוט:
קל להוכיח שהאיחוד מוכל ב- A, בצד השני: ניקח איבר a ב- A, ידוע ש- R יח"ש ולכן רפלקסיבי, ולכן a נמצא ב- [a], ולכן נמצא באיחוד מחלקות השקילות. הראינו הכלה דו כיוונית ולכן שוויון.
== קבוצת מנה ==
