［C++］狭義の弱順序（strict weak orderings）とは？ - 地面を見下ろす少年の足蹴にされる私

STLにおいて値の大小比較が必要なところでは、operator<を使うかCompare型の関数オブジェクトを渡すことで任意の型についての順序を決定できるようになっています。その時、その順序付けの性質として「狭義の弱順序(もしくは厳密で弱い順序、strict weak orderings)」が要求されますが、これがどういう意味が一目でわかるのは数学科行った人くらいでしょう。cpprefjpのAlgorithmヘッダのところには一応説明が書いてありましたので見てみますと algorithm - cpprefjp C++日本語リファレンス 二分探索以外のアルゴリズムでは、comp は「狭義の弱順序 (strict weak ordering) 」を示さなければならない。 ここでの用語「狭義 (strict) 」 は非反射関係 (irreflexive relation) (全ての x について