May's Theorem

A characterization theorem for collective choice in binary decisions: among all deterministic voting rules that map individual binary votes to a single collective binary outcome, simple majority rule is the unique rule satisfying anonymity (treating voters symmetrically), neutrality (treating the two alternatives symmetrically), and positive responsiveness (if a change in one vote turns a tie into