שינויים

לא הבנתי איך מXRopY מסיקים ש(x,y)שייך לR?

ולמה צריך את Z ואי אפשר לדבר ישירות על שוויון y ו-x?

:: לא מסיקים מ- <math>xR^{op}y</math> ש- <math>xRy</math> - כי זאת הנחה שלנו (הנחנו את זה בהתחלת ההוכחה של אנטי-סימטריות). להיפך, מההנחה ש- <math>yRx</math> נובע כי <math>xR^{op}y</math>. לגבי השאלה השנייה - כן, אפשר היה להסתדר בלי z ולהסיק כי <math>x=y</math> מהעובדה ש- <math>(x,y) \in I</math> --[[משתמש:Grisha|Grisha]] 19:56, 11 בינואר 2012 (IST)