Let `n` be a positive integer. Prove that the relation R on the set Z of all integers numbers defined by `(x , y) in R iff x-y` is divisible by `n ,` is an equivalence relation on Z.

Explanation

Here, `R = {(x,y):x,y in R and (x-y)` is divisible by `n}`

For all `a in R`,

`=> (a-a) =0` and `0` is divisible by `n`.

`:. (a,a) in R`.

`:. R` is reflexive.




Since in `R` for every `(a,b) in R`

...