<-- Go Back Last Updated: 11/01/2025
A partial order \((P,\leq)\) is further a total order if any two elements are comparible, i.e. \(\forall x,y\in P:x\leq y\lor y\leq x\).