A <binary relation> $R$ on $A$ is a <symmetric relation> precisely when \b[$aRb\Rightarrow bRa$ for all $a,b\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 / ii / Solution