社會選擇理論

分析由一群意見相異的 投票者在多個備選項之間做出的決策的理論。整個群體的任何選擇都應儘可能反映個別投票者的願望。

公平的選擇程式通常滿足 匿名性（在投票者置換下不變性）、對偶性（每個備選項在單次投票中獲得相同的權重）和 單調性（對 有利的改變不會損害 ）。簡單多數投票是匿名的、對偶的和單調的。梅定理 陳述了一個更強的結果。