Q. If is an arbitrary equivalence relation in an arbitrary set , then divides into mutually disjoint subsets called partitions or subdivisions of satisfying

 412  152 Relations and Functions - Part 2 Report Error

Solution:

Given, an arbitrary equivalence relation in an arbitrary set divides into mutually disjoint subsets called partitions or subdivisions of .
Then Ai's satisfying
(i) all elements of are related to each other, for all .
(ii) no element of is related to any element of .
(iii) and .
The subsets are called equivalence classes.