לא מצאתי את המשפט הזה בהרצאות.
:[[88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 7#תכונות האריתמטיקה|הוכחה כאן]] --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
== אפשר הוכחה לכך שכל יחס שקילות מחלק את הקב' למחלקות שקילות ==
אם אנחנו מחלקים קבוצה לתתי קבוצות זרות, היחס שמקשר בין איברי אותה קבוצה הינו יחס שקילויות. האם הכיוון ההפוך גם נכון? כלומר, האם כל יחס שקילויות מחלק קבוצה לתתי קבוצות זרות שאיחודן נותן את הקבוצה כולה.
התשובה איפוא היא כן, יחס שקילויות מחלק קבוצה לתתי קבוצות כאלה (תרגיל קל). ניסיתי להוכיח ונתקעתי.