שינויים

על <math>\mathbb{R}</math> נגדיר שני ארבעה יחסים <math>Q,R,S,T</math> באופן הבא: לכל <math>x,y\in \mathbb{R}</math>:

<math>xSyxQy\iff x-y=17</math> <math>xRy\iff \exists a\in \mathbb{N}\cup \{0\}:x-y=a</math> <math>xSy\exists a\in 2\mathbb{Z}\cup 3\mathbb{Z}:x-y=a</math>.

<math>SQ</math> לא כיון שלא רפלקסיבי, שהרי לכל <math>x\in \mathbb{R}</math> (ובפרט קיים לפחות אחד) <math>x-x=0\neq 17</math>. <math>R</math> אמנם רפלקסיבי, אך לא סימטרי. <math>S</math> לא טרנזיטיבי: <math>2S6\land 6S3</math> אבל לא נכון ש <math>2S3</math>.