Maths WorkshopMaths problems with full solutions
Exercise 1180Logic, sets and proofs › RelationsL1Added 3 Nov 2026

Total orders

#total order#comparability#poset

Statement

Define a total order and give an example of a partial order that is not total.

Hint

Total order: any two elements are comparable.

Show solutionHide solution

Solution

Definition. A partial order ≤\le on AA is total if for all x,y∈Ax,y\in A, x≤yx\le y or y≤xy\le x.

Example total. (R,≤)(\mathbb{R},\le).

Example not total. (P({1,2}),⊆)(\mathcal{P}(\{1,2\}),\subseteq): {1}\{1\} and {2}\{2\} are incomparable.

Conclusion. Total orders are partial orders with comparability; the subset relation is typically not total.