Definition: Let m in Z>0 and Zm := {x in Z: 0 <= x < m}.
+m: Z x Z -> Zm x +m y := (x + y) mod m -m: Z x Z -> Zm -m x := (-x) mod m *m: Z x Z -> Zm x *m y := (x * y) mod m