~/Total Order

Same as Q369377, ordering relation where all elements can be compared; binary relation on some set, which is antisymmetric, transitive, and total.