我阅读this page并找到一条说明fn=function(x){
un=unique(x)
for(i in 1:length(un)){
if(i==1){vet=un[i]}
else{
vet=c(vet,seq(un[i-1],un[i],length.out=length(grep( un[(i-1)],x ))+1)[-1] )
}
}
return(vet)
}
，其中comp induces a strict total ordering on the equivalence classes determined by equiv是用户提供的binaryPredicate，comp是一个等同于equiv的表达式。
我的问题是，!comp(a, b) && !comp(b, a)和comp已经建立了严格的弱排序，为什么它们可以导致严格的总排序？