Strict total order

In mathematics, a linear order, total order, simple order, or (non-strict) ordering is a binary relation on some set ${\displaystyle X}$, which is antisymmetric, transitive, and total (this relation is denoted here by infix ${\displaystyle \leq }$). A set paired with a total order is called a totally ordered set, a linearly ordered set, a simply ordered set, or a chain.

If ${\displaystyle X}$ is totally ordered under ${\displaystyle \leq }$, then the following statements hold for all ${\displaystyle a,b}$ and ${\displaystyle c}$ in ${\displaystyle X}$:

...
Wikipedia