[06C](Proposed on 2022-12) Let \((X,≤)\) be a finite and ordered non-empty set then it has maximals and minimals.
[06D]↺↻