total order; linear order
A mathematical term for a binary relation that is reflexive, antisymmetric, transitive, and total (any two elements are comparable). Used in set theory and order theory.
The set of all natural numbers becomes a totally ordered set under the usual less-than-or-equal relation.
A total order is a special case of a partial order.
Compound of 全 (ぜん, 'complete, total') and 順序 (じゅんじょ, 'order, sequence'). A direct translation of the English mathematical term 'total order'.