If ~ be an equivalence relation on a non-empty set A, then A can be expressed as a union of mutually disjoint equivalence classes in A.
If ~ be an equivalence relation on a non-empty set A, then A can be expressed as a union of mutually disjoint equivalence classes in A.