Complexity guarantees

Invariants

Models

int

Notes

[1] Only operator< is fundamental;
the other inequality operators are essentially syntactic sugar.

[2] Antisymmetry is a theorem, not an axiom: it
follows from irreflexivity and transitivity.

[3] Because of irreflexivity and transitivity,
operator< always satisfies the definition of a partial
ordering. The definition of a strict weak ordering is stricter,
and the definition of a total ordering is stricter still.