Total Order - Strict Total Order

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 techniques of opening conversation are universal. I knew long ago and rediscovered that the best way to attract attention, help, and conversation is to be lost. A man who seeing his mother starving to death on a path kicks her in the stomach to clear the way, will cheerfully devote several hours of his time giving wrong directions to a total stranger who claims to be lost.”
    —John Steinbeck (1902–1968)

    “What an infernal set of fools those schoolmarms must be! Well, if in order to please men they wish to live on air, let them. The sooner the present generation of women dies out, the better. We have idiots enough in the world now without such women propagating any more.”
    —Elizabeth Cady Stanton (1815–1902)