2.

(a) Show that Z is the disjoint union of sets [x]_n, where x ranges over Z. Thus you need to show that Z is the union of such sets and that [x]_n and [x']_n are either the same or have empty intersection for any x, x' ∈Ζ.

(b) Show that there are exactly n different such classes [x]_n.