My question is one aspect of the question below.
I have already shown that the relation is reflexive, symmetric, and transitive. What is meant by, and how do I describe the corresponding partition on $\displaystyle \mathbb{Z}$?
a ~ b if a-b is divisible by 3.
Thank you.