Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2018/discrete-mathematics-continuous-mathematics-and-probability/1/c/ii/solution

False, even for two equivalence relations. On , let have equivalence classes and , and let have equivalence classes and . Both binary relations are transitive. For , we have , using the intermediate element , and , using the intermediate element . However, fails: the only -successor of is , and is false. Thus the composite fails transitivity. The order of composition here means first , then .

New to topics? Read the docs here!