Characterizing the resolute part of monotonic social choice correspondences

The resolute domain of a social choice correspondence is the set of profiles at which only one alternative is selected. The Condorcet, plurality, approval voting, and maximin correspondences—restricted to their respective resolute domains—satisfy anonymity, neutrality, and a strong monotonicity condition, but are not characterized by those three conditions. We present examples illustrating this and provide additional conditions that do suffice for characterization.