*** Welcome to piglix ***

Linear ordering


In mathematics, a linear order, total order, simple order, or (non-strict) ordering is a binary relation on some set , which is antisymmetric, transitive, and total (this relation is denoted here by infix ). A set paired with a total order is called a totally ordered set, a linearly ordered set, a simply ordered set, or a chain.

More symbolically, a set is totally ordered under if the following statements hold for all and in :


...
Wikipedia

...