According to the ROC AUC definition in here:
The correct statement is that ROC AUC is the probability a randomly-chosen positive example is ranked more highly than a randomly-chosen negative example.
What happens with ties? If I select two randomly-chosen examples, one positive and one negative, and they both have the same score, how does this count in the probability?