Strict total order

Summary

A strict total order is a strict partial order in which any two distinct elements are comparable. It is the strict form of a total order, in the same way that $<$ is the strict form of $\le$ on the real numbers. For any two elements $a$ and $b$, exactly one of $a < b$, $a = b$, $b < a$ holds.