a+m, a-m, a+im, for any i in Z.
[a]m := {a+im: i in Z}
Can define modular arithmetic by equivalence classes.