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 on is total if for all , or .
Example total. .
Example not total. : and are incomparable.
Conclusion. Total orders are partial orders with comparability; the subset relation is typically not total.