שינויים
/* תרגיל */
<math>xQy\iff x-y=17</math>
<math>xRy\iff \exists ax-y\in \mathbb{N}\cup \{0\}:x-y=a</math>
<math>xSy\iff \exists ax-y\in 2\mathbb{Z}\cup 3\mathbb{Z}:x-y=a</math>.
<math>xTy\iff \exists ax-y\in \mathbb{Z}:x-y=a</math>.
בדקו עבור כל אחד מהם האם הוא יחס שקילות.
<math>T</math> כן יחס שקילות:
רפלקסיביות: יהי <math>x\in \mathbb{R}</math>, ניקח <math>a=0</math> ואז אז <math>x-x=0=a\in \mathbb{Z}</math>.
סימטריות: <math>xTy\Rightarrow \exists a\in \mathbb{Z} :x-y=a \Rightarrow y-x=-a\in \mathbb{Z} \Rightarrow yTx</math>.
