(ii)
no element of Ai is related to any element of Aj , i ≠ j (iii)
∪ Aj = X and Ai ∩ Aj = φ, i ≠ j The subsets Ai are called equivalence classes The interesting part of the situation
is that we can go reverse also