noun
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.
整列順序 (well-order) is a total order where every non-empty subset has a least element, a stronger condition than total order.
Compound of 全 (ぜん, 'complete, total') and 順序 (じゅんじょ, 'order, sequence'). A direct translation of the English mathematical term 'total order'.