TOTALORDER

Total order

In mathematics, a linear order, total order, simple order, or ordering is a binary relation on some set X. Such a relation is transitive, antisymmetric, and total. A set paired with a total order is called a totally ordered set, a linearly ordered set, a simply ordered set, or a chain.

The above text is a snippet from Wikipedia: Total order
and as such is available under the Creative Commons Attribution/Share-Alike License.

total order

Noun

  1. 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.
    If → is the material implication for a propositional logic <math>\mathcal{L}</math>, and <math>\mathcal{L}</math> has logical equivalence ↔ (an equivalence relation), then → is a total order for the quotient <math>\mathcal{L} / \leftrightarrow</math>.


The above text is a snippet from Wiktionary: total order
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!