In: Advanced Math
Prove that the equivalence classes of an equivalence relation form a partition of the domain of the relation. Namely, suppose ? be an equivalence relation on a set ? and define the equivalence class of an element ?∈? to be
[?]?:={?∈?|???}.
That is [?]?=?(?). Divide your proof into the following three peices: