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:
“History creates comprehensibility primarily by arranging facts meaningfully and only in a very limited sense by establishing strict causal connections.”
—Johan Huizinga (1872–1945)
“... one of the blind spots of most Negroes is their failure to realize that small overtures from whites have a large significance ... I now realize that this feeling inevitably takes possession of one in the bitter struggle for equality. Indeed, I share it. Yet I wonder how we can expect total acceptance to step full grown from the womb of prejudice, with no embryo or infancy or childhood stages.”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 10 (1962)
“Like other cities created overnight in the Outlet, Woodward acquired between noon and sunset of September 16, 1893, a population of five thousand; and that night a voluntary committee on law and order sent around the warning, “if you must shoot, shoot straight up!””
—State of Oklahoma, U.S. public relief program (1935-1943)