Strict Weak Ordering：排序与有序容器共同契约 | STL

本章覆盖：irreflexive；asymmetric implication；transitive；equivalence relation；bad comparator；`a <= b` 错误；floating NaN 的特殊思考；sort / set / map 共用契约；comparator bug 可能导致非预期结果甚至破坏算法前提；秋招高频原理。