Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Discrete mathematics, continuous mathematics and probability (resit) / 3 / a

A preorder is a binary relation that is reflexive and transitive: $a⪯a$, and $a⪯b⪯c$ implies $a⪯c$.

A partial order is a preorder that is also an antisymmetric relation: $a⪯b$ and $b⪯a$ together imply $a=b$.

A linear order, also called a total order, is a partial order in which every two elements are comparable: $a⪯b$ or $b⪯a$ for all $a,b\in A$.