For each (non-strict) total order ≤ there is an associated asymmetric (hence irreflexive) relation <, called a strict total order, which can equivalently be defined in two ways:
- a < b if and only if a ≤ b and a ≠ b
- a < b if and only if not b ≤ a (i.e., < is the inverse of the complement of ≤)
Properties:
- The relation is transitive: a < b and b < c implies a < c.
- The relation is trichotomous: exactly one of a < b, b < a and a = b is true.
- The relation is a strict weak order, where the associated equivalence is equality.
We can work the other way and start by choosing < as a transitive trichotomous binary relation; then a total order ≤ can equivalently be defined in two ways:
- a ≤ b if and only if a < b or a = b
- a ≤ b if and only if not b < a
Two more associated orders are the complements ≥ and >, completing the quadruple {<, >, ≤, ≥}.
We can define or explain the way a set is totally ordered by any of these four relations; the notation implies whether we are talking about the non-strict or the strict total order.
Read more about this topic: Total Order
Famous quotes containing the words strict, total and/or order:
“In a universe that is all gradations of matter, from gross to fine to finer, so that we end up with everything we are composed of in a lattice, a grid, a mesh, a mist, where particles or movements so small we cannot observe them are held in a strict and accurate web, that is nevertheless nonexistent to the eyes we use for ordinary living—in this system of fine and finer, where then is the substance of a thought?”
—Doris Lessing (b. 1919)
“I only know that a rook
Ordering its black feathers can so shine
As to seize me senses, haul
My eyelids up, and grant
A brief respite from fear
Of total neutrality.”
—Sylvia Plath (1932–1963)
“The universal principle of etymology in all languages: words are carried over from bodies and from the properties of bodies to express the things of the mind and spirit. The order of ideas must follow the order of things.”
—Giambattista Vico (1688–1744)