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