The result of a RankCompare function that defines a rank-order, i.e., a total preorder in which different elements are always comparable but can be tied for the same rank. See RankCompare.
RankCompare
The result of a
RankCompare
function that defines a rank-order, i.e., a total preorder in which different elements are always comparable but can be tied for the same rank. SeeRankCompare
.