A <partial order> is a <preorder> satisfying the <antisymmetric relation> axiom. In addition to <reflexivity> and <transitivity>, it satisfies $a\preceq b$ and $b\preceq a$ only when $a=b$.

Solution

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

 Solution (source code)