I am not able to understand clearly the concept of equivalence classes. Is it mandatory that for a particular equivalence relation in Set A, all the equivalence classes are either mutually disjoint or equal? Or are they mutually disjoint for all possible E-relations for a set A(or only on specific E-relation?)?
Secondly,
In the equivalence relation:
Let S be the set of all integers and let n > 1 be a fixed integer. Define for a,b belonging to S, a~b, if a-b is a multiple of n.
How is it, in the case above, the equivalence class of a consists of all integers of the form a + kn, where k=0,1,-1,2,-2,3,-3,...;
there are n distinct equivalence classes, namely cl(0), cl(1),...cl(n-1), when clearly cl(2), cl(4) have elements in common?