What is the meaning of Total_order?

A partial order, ≤, (a binary relation that is reflexive, antisymmetric, and transitive) on some set S, such that any two elements of S are comparable (for any x, yS, either xy or yx).

Source: wiktionary.org