A <binary relation> $R$ on $A$ is a <transitive relation> precisely when \b[$(aRb\ \text{and}\ bRc)\Rightarrow aRc$ for all $a,b,c\in A$].

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Discrete mathematics, continuous mathematics, and probability / Discrete mathematics / 3 / a / iv / Solution