No sure of what you are really asking there,

Theorem 12.1 saysGiven a equivalence relation R if R(x)=R(y) then.

The idea is that any partition of a set determines an equivalence relation by relating members of any cell in a partition. Moreover, any equivalence relation on a set gives rise to a partition of the set.