Definition
Unanimous Voting Rule ( COMSOC)
A voting rule is unanimous if an alternative ranked first by every voter wins. For every non-empty profile
over , All voters must agree on the first alternative; their lower rankings may differ. For a single-winner rule
, the conclusion is . Requiring is the stronger, unique-winner version for set-valued rules.