total order

English dictionary entry

Meanings

noun
  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).

Word forms

total order total orders

Synonyms

linear order linear ordering total ordering total ordering relation

Related words

totally ordered totally ordered set chain connex property connex relation trichotomy
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.