Totally ordered set

A totally ordered set is a pair $(S,\le )$ of a set $S$ is a set and a binary relation $\le$, called an order relation, which satisfies the following properties:

1. For all $a,b\in S$, if $a\le b$ and $b\le a$, then $a=b$. This is known as the antisymmetric property.
2. For all $a,b,c\in S$, if $a\le b$ and $b\le c$, then $a\le c$. This is known as the transitive property.
3. For all $a,b\in S$, either $a\le b$ or $b\le a$, or both. This is the totality property, which is equivalent to the trichotomy property.

Examples of totally ordered sets

The real_numbers are a totally ordered set. So are any of the subsets of the real numbers, such as the rational_numbers or the integers.

Examples of not totally ordered sets

The complex_numbers do not have a canonical total ordering, and especially not a total ordering that preserves all the properties of the ordering of the real numbers, although one can define a total ordering on them quite easily.