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:
“The admission of Oriental immigrants who cannot be amalgamated with our people has been made the subject either of prohibitory clauses in our treaties and statutes or of strict administrative regulations secured by diplomatic negotiations. I sincerely hope that we may continue to minimize the evils likely to arise from such immigration without unnecessary friction and by mutual concessions between self-respecting governments.”
—William Howard Taft (1857–1930)
“[The sceptic] must acknowledge, if he will acknowledge any thing, that all human life must perish, were his principles to prevail. All discourse, all action would immediately cease, and men remain in a total lethargy, till the necessities of nature, unsatisfied, put an end to their miserable existence.”
—David Hume (1711–1776)
“In order to become spoiled ... a child has to be able to want things as well as need them. He has to be able to see himself as a being who is separate from everyone else.... A baby is none of these things. He feels a need and he expresses it. He is not intellectually capable of working out involved plans and ideas like “Can I make her give me...?” “If I make enough fuss he will...?” “They let me do ... yesterday and I want to do it again today so I’ll....””
—Penelope Leach (20th century)