Definition
Resolute Social Choice Correspondence ( COMSOC)
A social choice correspondence
is resolute if it selects exactly one winner for every preference profile: It therefore determines a social choice function
by Resoluteness concerns the whole voting rule: a unique winner on just one profile is not enough.