Q: On integers, a ~ b iff a - b is divisible by 3. Find the equivalence classes. Classes: [0] = {..., -3, 0, 3, 6, ...}, [1] = {..., -2, 1, 4, ...}, [2] = {..., -1, 2, 5, ...}. Three disjoint classes covering all integers (remainders mod 3).