שינויים

:(לא מרצה/מתרגל) המשפט מוכיח שכל שתי תתי קבוצות שונות הן זרות, להוכיח שהאיחוד שווה ל- A זה הרבה יותר פשוט:

קל להוכיח שהאיחוד מוכל ב- A, בצד השני: ניקח איבר a ב- A, ידוע ש- R יח"ש ולכן רפלקסיבי, ולכן a נמצא ב- [a], ולכן נמצא באיחוד מחלקות השקילות. הראינו הכלה דו כיוונית ולכן שוויון.

== קבוצת מנה ==