 Strict total order

ID: strict-total-order

<

for which exactly one of

x < y

and

y < x

holds whenever

x \neq = y

. It corresponds to a total order through

x \leq y

if and only if

x < y

x = y

 New to topics? Read the docs here!