שינויים
/* אינסופיות */
:קטן תחת איזו הגדרה? הרי אם מדובר על יחס סדר, איבר תמיד קטן מעצמו ולכן ניתן לומר את זה על כל קבוצה סדורה. אם מדובר על יחס אנטי סימטרי וטרנזיטיבי שאינו רפלקסיבי, אזי אם הקבוצה סופית נתחיל מאיבר כלשהו, יש איבר הקטן ממנו (ולכן שונה ממנו) ולשני יש גם וכן הלאה. מתישהו נגיע לסוף התהליך בסתירה. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font> 23:03, 3 באוגוסט 2011 (IDT)
אני יכול להפעיל את זה על יחס סדר, במידה ואני אומר שלכל X יש Y השונה ממנו וקטן ממנו?
== תרגיל 3 שאלה 2 ==
