std::sort RE

存在相等的值，cmp写小于等于会RE。
So tell me why?
发现不是小于等于的问题，我认为应该是一些逻辑矛盾的问题。
也有同样的人遇到这个问题

cmp(x,y)是strict weak ordering严格的弱序列，满足：
1.$f(x,y)$和$f(y,x)$不能同时为$true$，则$f(x,x)=0$
2.传递性：$f(x,y)=f(y,z)=1$能推出$f(x,z)=1$
这里写$<=$的话，就会出现$f(x,x)=1$的情况，与$1$条件不符。