This corresponds to (xPy or xIy) being a total preorder, P being the corresponding strict weak order, and I being the corresponding equivalence relation.
Using a transitivity test[REF] one can investigate whether a data set of pairwise comparisons contains a higher degree of transitivity than expected by chance.