Dictionary

total order en · NOUN

Meanings

1. 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, y ∈ S, either x ≤ y or y ≤ x).
   • Example 6.2.2. Suppose A is a finite set and R is a partial order on A. Prove that R can be extended to a total order on A. In other words, prove that there is a total order T on A such that R ⊆ T. 2006, Daniel J. Velleman, How to Prove It: A Structured Approach, 2nd edition, Cambridge University Press, page 269:
   • 2013, Nick Huggett, Tiziana Vistarini, Christian Wüthrich, 15: Time in Quantum Gravity, Adrian Bardon, Heather Dyke (editors), A Companion to the Philosophy of Time, Wiley, 2016, Paperback, page 245, A binary relation R defines a total order on a set X just in case for all x, y, z ∈ X, the following four conditions obtain: (1) Rxx (reflexivity), (2) Rxy & Ryz → Rxz (transitivity), (3) Rxy & Ryx → x = y (weak antisymmetry), and (4) Rxy ∨ Ryx (comparability). Bearing in mind that the relata of the total order are not events in ℰ, but entire equivalence classes ℰ/S of simultaneous events, it is straightforward to ask ≤ to be a total order of ℰ/S.
   • […]we conclude §2.1 by showing how, given a triangulation #92;Delta (i.e., simplicial decomposition) of a closed oriented 3-manifilld M, and a total order '#92;le' on the set of vertices of #92;Delta, as well as a choice of a system #92;mathcal#123;B#125; of orthonormal bases for various Hilbert spaces that get specified in the process, we may obtain a complex number #92;langle(M,#92;Delta,#92;le,#92;mathcal#123;B#125;)#92;rangle. 2001, Vijay Kodiyalam, V. S. Sunder, Topological Quantum Field Theories from Subfactors, CRC Press (Chapman & Hall), page 2:

Forms

Hypernyms

preorder (partial order that applies an order to any two elements) · partial order (partial order that applies an order to any two elements)

Hyponyms

well-order (partial order that applies an order to any two elements)

Relateds

connex relation · totally ordered set · chain · trichotomy · totally ordered · connex property

Synonyms

total ordering relation (partial order which applies an order to any two elements) · total ordering (partial order which applies an order to any two elements) · linear ordering (partial order which applies an order to any two elements) · linear order (partial order which applies an order to any two elements)

Translations (8)

es orden total (partial order that applies an order to any two elements) · pl porządek liniowy (partial order that applies an order to any two elements) · de Totalordnung (partial order that applies an order to any two elements) · fi täydellinen järjestys (partial order that applies an order to any two elements) · cs lineární uspořádání (partial order that applies an order to any two elements) · eo tuteca ordo (partial order that applies an order to any two elements) · de totale Ordnung (partial order that applies an order to any two elements) · cs úplné uspořádání (partial order that applies an order to any two elements)