dear PeteSteve
you are expected to prove that the relation ~ is reflexiv,symmetric and transitive.
To show that ~ in 1a is reflexiv you must show that x ~ x for all x in Z . You can prove this by observing that 0 = x- x is divisible by m. The symmetric and transifive case can be proven in a similar way.