-
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).
转载于:https://my.oschina.net/FavorNight/blog/112773