strict weak ordering

• Strict means that pr(X, X) is false.

• Weak means that X and Y have an equivalent ordering if !pr(X, Y) && !pr(Y, X) (X == Y does not need to be defined).

• Ordering means that pr(X, Y) && pr(Y, Z) implies pr(X, Z).