Define a binary relation S on the set ā of all real numbers by declaring that for all a,b ā ā,
aSb ā āk ā ⤠: a = b + k.
That is, aSb if and only if a = b + k for some integer k.
Show that S is an equivalence relation on the set ā.
(Suggestion: Use methods similar to those used in the proof that the relation of divisibility, |, on ⤠is reflexive and transitive; this question is very similar to the Homework Exercise on proving that ā”ā is an equivalence relation.)