עבור <math>a=a_1a_2\dots ,b=b_1b_2\dots \in X</math>
<math>aRb \iff \; \forall n\; a_n-b_n \neq (-1)^n, \; \forall n</math>
א. הוכיחו ש <math>R</math> יחס סדר על <math>X</math>
==== פתרון ====
דרך שקולה לתאר את היחס שמפשטת את השאלה היא כך
<math>aRb \iff \big( \forall k \; a_{2k}=1 \Rightarrow b_{2k}=1, \; a_{2k-1}=0\Rightarrow b_{2k-1}=0\big)</math>
כלומר במיקומים הזוגיים, אם a שווה 1 אז זה גורר ש b שווה 1
ובמיקומים האי זוגיים, אם a שווה 0 אז זה גורר ש b שווה 0
א. תרגיל לבד!
ב. לא סדר מלא, למשל <math>a=000\dots, b=111\dots </math> לא מתייחסים זה לזה.
ג. קימיים, <math>M=010101\dots</math> הינו איבר הגדול ביותר כי לכל <math>a</math> מתקים <math>aRM</math>
<math>m=101010\dots</math> הינו איבר קטן ביותר כי לכל <math>a</math> מתקים <math>mRa</math>
=== תרגיל (מבוחן תשעג)===