全ぜん順じゅん序じょ

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.