total order

See also: total-order

English

Noun

total order (plural total orders)

(set theory) A relation that is reflexive, antisymmetric, and transitive (i.e., that is a partial order), and having the property that for any two elements of its set, one is related to the other.

Synonyms

linear order
linear ordering
total ordering
total ordering relation (rare)

Hypernyms

partial order
- preorder

Hyponyms

well-order

Related terms

totally ordered set

Translations

relation

Czech: lineární uspořádání n, úplné uspořádání n
Esperanto: tuteca ordo

Spanish: orden total m

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.