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:
“To safeguard ones health at the cost of too strict a diet is a tiresome illness indeed.”
—François, Duc De La Rochefoucauld (16131680)
“Throughout human history, the apostles of purity, those who have claimed to possess a total explanation, have wrought havoc among mere mixed-up human beings.”
—Salman Rushdie (b. 1948)
“All things being equal, I would choose a woman over a man in order to even the balance of power, to insinuate a different perspective into the process, to give young women something to shoot for and someone to look up to. But all things are rarely equal.”
—Anna Quindlen (b. 1952)