EDB — 1YY

3.4 Order relations[1YY]

Let \((X,≤)\) an orderered set, non-empty (cf definition [1Y5]↺↻)

E101

[1WJ]↺↻

E101

[067]↺↻

E101

[29D]↺↻

E101

[069]↺↻

E101

[1WM]↺↻

E101

[1WN]↺↻

E101

[1YJ]↺↻

E101

[06C]↺↻

E101

[06F]↺↻

E101

[06J]↺↻

E101

[263]↺↻

Direct and filtering order

[2FJ]↺↻

Lexicographic order

[2FH]↺↻

Total ordering, sup and inf

[2FM]↺↻

Total ordering, intervals

[2DW]↺↻

Order types

E104

[220]↺↻

E104

[22P]↺↻

E104

[21P]↺↻

E104

[21Q]↺↻

Concatenation

E105

[21X]↺↻

E105

[21Y]↺↻

E105

[21Z]↺↻