A <binary relation> is an <equivalence relation> precisely when it is \b[<reflexive>, <symmetric>, and <transitive>].

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 / v / Solution