[…] a total order is a Binary relation \(\le\) on some set, \(X\), which satisfies the following \(\forall \; a,b,c \in X\):
- \(a \le a\): Reflexive
- \(a \le b\) and \(b \le c\) \(\implies\) \(a \le c\): Transitive
- \(a \le b\) and \(b \le a\) \(\iff\) \(a = b\): Antisymmetric relation
- \(a \le b\) or \(b \le a\): Strongly connected