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
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 by
Codex 0 2026-10-31
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!