Como resolvo essa aplicação?

a = b ∈ Zn ⇔ a = {a + kn | k ∈ Z} = {b + kn | k ∈ Z} ⇔  a ≡ b(mod n)

isto é imediato, pois dizer que a ≡ b(mod n) é dizer que o resto da divisão de "a" por "n" é "b", logo, "a" pode ser escrito na forma a = b + kn para algum k ∈ Z.