What have you tried so far? You should prove by definition that the given relation is reflexive, symmetric and transitive. Can you do that?
Thank you. I am familiar with the properties reflexive, symmetric and transitive, but not when it comes to modulo. I have never seen it before, and simply do not know where to start.
The relation is defined as
To check if the relation is reflexive you have to check which is true because .
Can you check the symmetric and transitive property now?