Winner (COMSOC)

Definition

Winner ( COMSOC)

A winner is an alternative selected by a voting rule for a given profile .

Set-valued rule

For a social choice correspondence ,

This is also called a co-winner. The winner is unique exactly when .

Single-valued rule

For a social choice function ,

The rule selects exactly one winner for each profile.