Paper 4, Section I,
Part IA, 2012
What is an equivalence relation on a set ? If is an equivalence relation on , what is an equivalence class of ? Prove that the equivalence classes of form a partition of .
Let and be equivalence relations on a set . Which of the following are always equivalence relations? Give proofs or counterexamples as appropriate.
(i) The relation on given by if both and .
(ii) The relation on given by if or .