if~be 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 equivalence relation on a non-empty set A, then a can be expressed as a union of mutually disjoint equivalence classes in A.










