Order (relation)

In mathematics, an order relation is a relation on a set which generalises the notion of comparison between numbers and magnitudes, or inclusion between sets or algebraic structures.

Throughout the discussion of various forms of order, it is necessary to distinguish between a strict or strong form and a weak form of an order: the difference being that the weak form includes the possibility that the objects being compared are equal. We shall usually denote a general order by the traditional symbols < or > for the strict form and ≤ or ≥ for the weak form, but notations such as ${\subset },{\supset }$,${\subseteq },{\supseteq }$; ${\prec },{\succ }$,${\preceq },{\succeq }$; ${\sqsubset },{\sqsupset }$,${\sqsubseteq },{\sqsupseteq }$ are also common. We also use the traditional notational convention that $x<y\Leftrightarrow y>x$.

Partial order

The most general form of order is the (strict) partial order, a relation < on a set satisfying:

• Irreflexive: $x\not <x;\,$
• Antisymmetric: $x<y\Rightarrow y\not <x;\,$
• Transitive: $x<y,y<z\Rightarrow x<z.\,$

The weak form of the order ≤ satisfies the variant conditions:

• Reflexive: $x\leq x;\,$
• Antisymmetric: $x\leq y,y\leq x\Rightarrow x=y;\,$
• Transitive: $x\leq y,y\leq z\Rightarrow x\leq z.\,$

Total order

A total or linear order is one which has the trichotomy property: for any x, y exactly one of the three statements $x<y$, $x=y$, $x>y$ holds.