An order defined for all pairs of items of a set. For instance, ≤ (less than or equal to) is a total order on integers, that is, for any two integers, one of them is less than or equal to the other. Formal Definition: A total order is a relation that is reflexive, transitive, antisymmetric, and total.