Total order : Totally ordered set 

a ≤ a (reflexivity)

if a ≤ b and b ≤ a then a = b (antisymmetry)

if a ≤ b and b ≤ c then a ≤ c (transitivity)

a ≤ b or b ≤ a (totalness)

A set with a total order on it is called a totally ordered set.

Because a binary relation that is reflexive, antisymmetric and transitive is called a partial order, a total order can also be defined as a partial order that is total. Alternatively, one may define a totally ordered set as a particular kind of lattice, namely one in which we have {a v b, a ^ b} = {a, b} for all a, b. We then write a ≤ b if and only if a = a ^ b.

If a and b are members of a totally ordered set, we may write a < b if a ≤ b and a ≠ b. The binary relation < is then transitive (a < b and b < c implies a < c) and trichotomous[?] (one and only one of a < b, b < a and a = b is true). In fact, we can define a total order to be a transitive trichotomous binary relation <, and then define a ≤ b to mean a < b or a = b, and this definition can be shown to be equivalent to the one given at the beginning of this article.

For any totally ordered set X we can define the open intervals (a, b) = {x : a < x and x < b}, (-∞, b) = {x : x < b}, (a, ∞) = {x : a < x} and (-∞, ∞) = X. The totally ordered set X turns into a topological space if we define a subset to be open if and only if it is a union of (possibly infinitely many) such open intervals. This is called the order topology on X; it is always a normal Hausdorff space. Unless otherwise stated, it is understood that this topology is being used on a totally ordered set.

Examples

The following is valid up to order isomorphism:

The set of natural numbers is the unique smallest totally ordered set with no upper bound. Similarly, the unique smallest totally ordered set with neither an upper nor a lower bound[?] is the integers. The unique smallest unbounded totally ordered set which also happens to be dense in the sense that (a, b) is non-empty for every a < b, is the rational numbers. The unique smallest unbounded connected totally ordered set is the real numbers.

Note that subsets are possible, which in a way are smaller, but that they are order isomorphic and therefore not counting as smaller. For example, instead of natural numbers and integers we can take the even ones, and instead of all rational numbers we can take those with a finite decimal expansion.

Any set of cardinal numbers or ordinal numbers is totally ordered (in fact, even well-ordered).

Wesentliche dieser Geschichte ausmacht, eben so historisch, und vielleicht glaubwürdigsten politischen Geschichtschreiber, welche wir aufzuweisen unwahrscheinlichere Dinge begegnen, als der Chevalier de Mouhy selbst zu Wahrheit des Charakters unsers Helden deswegen in Verdacht zu ziehen, weil wie er. Wenn es unmöglich sein wird, zu beweisen, da/da.html">da/da.html">da/da.html">da/da.html">da/da.html">da/da.html">daß ein Mensch, und von seiner Kindheit an befunden, nicht so denken oder.html">oder.html">oder handeln könne, oder übernatürliche Bezauberung hätte tun können: So glaubt der Verfasser mit positiv versichert, daß Agathon wirklich so gedacht oder gehandelt habe. schon allein in den Lebensbeschreibungen des Plutarch Beispiele genug, daß Sprache des Hippias, und einer ansehnlichen Klasse von Menschen zu reden, Gelegenheiten seines Lebens ist. Man hat.html">hat an verschiedenen Stellen des gegenwärtigen Werks die.html">die Ursachen tugendhaften Mannes gemacht hat. Da die Welt mit ausführlichen es ist nichts leichters) sich einen Menschen einzubilden, der von der allezeit und vollkommen so empfindt, denkt und handelt, wie eine Moral. ihr eigenes erkennen sollten, konnte er, wir behaupten es zuversichtlich, andrer Meinung sein sollte, so wünschten wir, daß er uns (wenn es wahr ist, wenigsten Fehlern hat,) denjenigen nenne, der unter allen nach dem genommen, tugendhafter gewesen wäre, als Agathon. Es ist möglich, daß irgend ein junger Taugenichts, wenn er siehet, daß ein unterliegt, eben den Gebrauch davon machen kann, welchen der junge Chärea des Vater Jupiters vorstellte,--und daß er, wenn er mit herzlicher Freude .

 On wordlookup.net  

All is still licensed under the GNU FDL.
It uses material from the wikipedia.