אני יכול להגיד ככה? יהי a,b שייך לA, יש 2 אפשרויות, aRb או aR'b, יהי c שייך לA, אם bRc אז aRc, אם bR'c אז aR'c וכך הלאה, ולכן אם x "נמצא ביחס" R כלומר קיים y כך של yRc אזי aRc ולכן c שייך ל [a]R ולכן <math>A/R = {[a]_R}</math>? תודה!
:למה הכוונה ב"אם bRc אז aRc, אם bR'c אז aR'c וכך הלאה"? זה לא היקש לוגי תקין ממה שטענת קודם " aRb או aR'b". אם אתה בוחר להמשיך את העובדה " aRb או aR'b" הלאה אז אתה צריך לטפל במקרה שaRb ובמקרה שaR'b בנפרד. מה שיפה הוא שאם קיימים שני איברים שונים כך שaRb אז גם bRa כי R יחס שקילות. לכן אם קיימים שני איברים שונים כך ש aR'b אז גם bR'a. אולם,מכיוון שהיחס המשלים הוא טרנזיטיבי, מקבלים שbR'b וזו סתירה לbRb (זכור שR יחס שקילות ולכן רפלקסיבי). לכן לא קיימים שני איברים שונים שעבורם aR'b ולכן היחס המשלים הוא ריק, כלומר R הוא היחס המלא על A ולכן קיימת רק מחלקת שקילות אחת והיא כל A.[[משתמש:Adam Chapman|Adam Chapman]] 15:21, 3 בספטמבר 2010 (IDT)
==פרטים לגבי המבחן שנשלחו במייל==