Exercise 568Logic, sets and proofs › RelationsL1Added 3 Nov 2026
Partial orders
#partial order#poset#subsets
Statement
Show that is a partial order.
Hint
Reflexive, antisymmetric, transitive.
Show solutionHide solution
Solution
Reflexive. .
Antisymmetric. and implies .
Transitive. .
Not total. For : and .
Conclusion. is a partial order, not total (for ).