<-- Go Back Last Updated: 19/08/2026

Total Order**

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\).