second question :

Fix a particular nonzero integer n. For an integer k, define a set C Z by the rule Note here that [k is somewhat funny notation for a subset of the integers. You can convince yourself that [k] ,k- 2n, k n, k, kn, k+2n,...) This set is called the equivalence class of k. Prove that (Note that k] and [k] are sets.)