 A candidate \(Y\) is called the Condorcet winner in an election scenario if \(Y\) is the maximum of the majority ordering \(&gt;_M\) for that election scenario (that is, \(Y\) is the Condorcet winner if \(Y\mathrel{&gt;_M} Z\) for all other candidates \(Z\)). The Condorcet loser is the candidate that is the minimum of the majority ordering. 