[06S] (Solved on 2022-10-27) Let \((X,≤)\) be a directed set: show that if there is a maximal element in \(X\) then it is the maximum.
[06T]↺↻