Let \(≤\) a total order on a non-empty set \(X\).
[07C]↺↻
[07D]↺↻
[07F]↺↻
[07H]↺↻
[07K]↺↻
[07N]↺↻
[206]↺↻
[07Q]↺↻