Definition:Ordering

Let $$S$$ be a set.

An ordering on $$S$$ is a relation $$\mathcal{R}$$ on $$S$$ such that:


 * $$\mathcal{R}$$ is reflexive, that is, $$\forall a \in S: a \mathcal{R} a$$
 * $$\mathcal{R}$$ is transitive, that is, $$\forall a, b, c \in S: a \mathcal{R} b \land b \mathcal{R} c \Longrightarrow a \mathcal{R} c$$
 * $$\mathcal{R}$$ is antisymmetric, that is, $$\forall a, b \in S: a \mathcal{R} b \land b \mathcal{R} a \Longrightarrow a = b$$

Symbols frequently used to define such a general ordering relation are variants on $$\le$$.

"$$a \le b$$" can be read as: "$$a$$ precedes, or is the same as, $$b$$".

Alternatively, "$$a \le b$$" can be read as: "$$b$$ succeeds, or is the same as, $$a$$".

A symbol for an ordering can be reversed, and the sense is likewise inverted:

$$a \le b \iff b \ge a$$

If, for two elements $$a, b \in S$$, $$\lnot a \le b$$, then the symbols $$a \not \le b$$ and $$b \not \ge a$$ can be used.

There are various shapes to these ordering symbols, but unfortunately the software used in this application that renders such symbols appears not to have the capability of producing any shapes more esoteric than the humble "less than or equal to" sign as shown above.

Note that this definition of "Ordering" does not demand that every pair of elements of $$S$$ is related by $$\le$$. The way we have defined an ordering, they may be, or they may not be, depending on the context.

Some authors prefer to use the term "partial ordering" for what is defined here as an "ordering", but it can be argued that it is possible to allow more flexible thinking an attempt is made to decouple the actual ordering relation from the set it is defined on.