Linear order

In mathematics, a total order or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation${\displaystyle \leq }$ on some set${\displaystyle X}$, which satisfies the following for all ${\displaystyle a,b}$ and ${\displaystyle c}$ in ${\displaystyle X}$: