Mac OS X Tips
ソートのために <演算を定義する場合、「順番付けの基準は、厳密で弱い順位：strict weak orderingを定義しなければならない。つまり、”より小さい”と“等しい”は、ともに推移則を満たさなければならない」
[1]cmp(x,x)はfalse [2]cmp(x,y)でcmp(y,z)なら、cmmp(x,z) [3]equiv(x,y)を!(cmp(x,y) || cmp(y,x))と定義するとき、equiv(x,y)でequiv(y,z)ならequiv(x,z)
