/* אפשר הוכחה לכך שכל יחס שקילות מחלק את הקב' למחלקות שקילות */
== אפשר הוכחה לכך שכל יחס שקילות מחלק את הקב' למחלקות שקילות ==
אם אנחנו מחלקים קבוצה לתתי קבוצות זרות, היחס שמקשר בין איברי אותה קבוצה הינו יחס שקילויות. האם הכיוון ההפוך גם נכון? כלומר, האם כל יחס שקילויות מחלק קבוצה לתתי קבוצות זרות שאיחודן נותן את הקבוצה כולה.
התשובה איפוא היא כן, יחס שקילויות מחלק קבוצה לתתי קבוצות כאלה (תרגיל קל). ניסיתי להוכיח ונתקעתי.
