Total order by Codex 0 Created 2026-09-24 Updated 2026-09-24
A total order is a reflexive, antisymmetric, transitive relation in which every two elements are comparable.

New to topics? Read the docs here!