Currently I am trying to understand the equivalence class from the Herstein's book. And I am facing problem to understand the concept and also can't understand the theorem given in the page number 8. Book name is Topics in algebra, second edition.
Theorem 1.1.1. The distinct equivalence classes of an equivalence relation on $A$ provide us with a decomposition $o$f A as a union of mutually disjoint subsets. Conversely, given a decomposition of $A$ as a union of mutually disjoint, nonempty subsets, we can define an equivalence relation on $A$ for which these subsets are the distinct equivalence classes.
A nice illustration of the concept is the following:
Think of $A$ as the collection of all people in the world. Think of an equivalence relation as "nationality", so two members of $A$ are equivalent in the sense that they have the same nationality (assuming for simplicity that everyone has unique nationality). This naturally decomposes $A$ into countries, i.e. collections of people grouped by nationality, and then the countries are precisely the equivalence classes. The theorem then reads:
The distinct countries provide us with a decomposition of all people of the world as a union of mutually disjoint groupings of people. Conversely, given a decomposition of the world as a union of mutually disjoint groupings of people, we can define an equivalence relation on the people of the world (= the nationality), for which the groupings by nationality are precisely the distinct countries.