בהוכחת הטרנזטיביות בחלוקה למקרים: במקרה הראשון יודעים שמתקיים או a קטן שווה ל-c או c קטן שווה לe אם זה או זה או זה למה מותר לאחד את זה לאי שוויון אחד ולומר שa קטן שווה לC קטן שווה לe באותו אי שוויון?
== תרגיל 6 שאלה 4 ==
בכיוון ב': הוכחת אנטי סימטריות.
לא הבנתי איך מXRopY מסיקים ש(x,y)שייך לR?
ולמה צריך את Z ואי אפשר לדבר ישירות על שוויון y ו-x?
----