Strict week ordering

1. 必须是“反对称的(antisymmetric)”

对operator<而言，如果x < y为真，则y < x 为假。

对于判断式predicate op(), 如果op(x, y)为真, 则 op(y, x)为假

2. 必须是“可传递性的(transitive)”

对operator<而言，如果x < y为真且y < z为真，则x < z为真。

对于判断式predicate op()而言，如果op(x, y)为真且op(y, z)为真，则op(x, z)为真。

3. 必须是“非自反的(irreflexive)”

对operator<而言，x < x永远为假。

对predicate op()而言，op(x, x)永远为假。

基于这些特性，排序准则也可用于相等性检查，也就是说，如果两个元素都不小于对方 (或说op(x, y)和op(y, x)都为假)，则两个元素相等。