Overview of partial orders

Note: this page contains material intended to help the study of partial orderings and solve some common misconceptions, it is advised that someone trying to learn about (rather than reference or check something) about partial orders read this.

Definition

A partial order is a relation on a set $X$, which we shall call $\mathcal{R}\subseteq X\times X$ that is:

	Name	Definition
1	Reflexive	$\forall x\in X[(x,x)\in\mathcal{R}]$ or equivalently $\forall x\in X[x\mathcal{R} x]$
2	Identitive (AKA: antisymmetric)	$\forall x,y\in X[((x,y)\in\mathcal{R}\wedge(y,x)\in\mathcal{R})\implies (x=y)]$ or equivalently $\forall x,y\in X[(x\mathcal{R} y\wedge y\mathcal{R} x)\implies(x=y)]$
3	Transitive	$\forall x,y,z\in X[((x,y)\in\mathcal{R}\wedge(y,z)\in\mathcal{R})\implies(x,z)\in\mathcal{R}]$ or equivalently $\forall x,y,z\in X[(x\mathcal{R} y\wedge y\mathcal{R} z)\implies(x\mathcal{R} z)]$

• Note that: there is no requirement for $(x,y)\in\mathcal{R}\iff x\mathcal{R}y$ (if $x\ne y$) this is probably why it is called a partial ordering (rather than a total ordering which is a partial ordering where all elements are comparable)
• For example:
  1. The divisor relation is a partial ordering (see Divisor partial ordering) and this is clearly not a total ordering
  2. The subset relation is a partial ordering and is clearly not a total ordering

---

TODO: References

---

Various views

Let us now write $\mathcal{R}$ as $\preceq$ and rather than $x\mathcal{R}y$ or $(x,y)\in\mathcal{R[/ilmath]} write [ilmath]x\preceq y$ accordingly.

There are 2 things we must cover:

1. What does $\succeq$ mean?
2. What does $\prec$ (and $\succ$) mean?

Dealing with $x\preceq y\iff y\succeq x$

There are 2 views about what $x\prec y$ means. We'll do the strongest (most formal) first

Dual relation

Consider the relation $\mathcal{R}^{-1}$

Defining $x\preceq y\iff y\succeq x$

This is a bit of a cop-out but we can simply say that $y\succeq x$ is another way of writing $x\preceq y$

Dealing with $\prec$ and $\succ$

Define the relation: $x \prec y\iff x\preceq y \wedge x\ne y$

---

TODO: Finish off page, find references

---