*שימו לב ש <math>(1,1)</math> הוא איבר קטן ביותר
=== תרגיל (ממבחן קיץ תשעה מועד ב) ===
תהא <math>X</math> קבוצת כל הסדרות הבינאריות (סדרה בינארית היא <math>a_1a_2a_3\dots</math> כאשר <math>a_n\in \{0,1\}</math>). נגדיר יחס <math>R</math> על <math>X</math> כך:
עבור <math>a=a_1a_2\dots ,b=b_1b_2\dots \in X</math>
<math>aRb \iff a_n-b_n \neq (-1)^n, \; \forall n</math>
א. הוכיחו ש <math>R</math> יחס סדר על <math>X</math>
ב. קבעו האם <math>R</math> יחס סדר '''מלא''' על <math>X</math>
ג. מצאו (אם קיימים) איבר קטן וגדול ביותר ב <math>X</math> (ביחס ל <math>R</math>)
==== פתרון ====
=== תרגיל (מבוחן תשעג)===