This irreflexivity can be used to set up an equivalence relation.

这一反自反性可以用来建立一个等价关系。

youdao

This irreflexivity can be used to set up an equivalence relation—that is, for Key s a and b , if comp(a, b) is false and comp(b, a) is false , then a and b must be equivalent.

这个反自反性质可以用来建立一个等价关系(equivalence relation)—也就是，对于Keys a和b来说，如果comp(a,b)为false并且comp(b,a)也为false，那么我们就说a和b是等价的。

youdao