Past exam of the mathematics course of the University of Cambridge / 2015 / ii / Paper 3 / 13I / ii

Replace the strict partial order by its reflexive closure $\le$. Partially order all partial orders on $X$ extending $\le$ by inclusion. A chain has an upper bound given by its union: transitivity and antisymmetry each concern finitely many pairs, which all lie in one member of the chain. By Zorn lemma there is a maximal extension $R$.

If $a,b$ are incomparable under $R$, defineThis adds $a{R}^{\prime }b$. It is transitive: composing an old pair with a new one stays in the added set; composing two new pairs would require $bRa$, which is impossible. It is antisymmetric: an added pair and a reverse old pair would again imply $bRa$, and two reverse added pairs would do the same. Thus $R^{\prime }$ is a larger partial order, contradicting maximality. Therefore $R$ is total, and removing its diagonal gives a total order extending the original strict order.

A well-founded relation has a minimal element in every nonempty subset; with the axiom of choice this is equivalent to having no infinite strictly descending sequence. If an extension is a well-order, its least element in any nonempty subset is minimal for the original relation, so the original order must be well-founded.

However not every total extension need be a well-order. Take the empty strict order on $\mathbb{N}$, which is well-founded. Its extension defined by $x\prec y$ if $x>y$ in the usual order is total and has no least element.