مبرهنة ماي

تعني الحسم أن القاعدة تعطي دائماً نتيجة (فوز أو تعادل). وتعني مجهولة الهوية أن تبديل بطاقات اقتراع الناخبين لا يغيّر النتيجة. وتعني الحياد أن إعادة تسمية البدائل لا ترجّح أحدها. وتعني الاستجابة الإيجابية أنه إذا كانت النتيجة تعادلاً أو فوزاً لـ A، ثم مال أحد الناخبين نحو A، يفوز A حينئذٍ فوزاً صريحاً. وتُعدّ المبرهنة التبرير الشكلي المعياري لقاعدة الأغلبية في قرارات نعم/لا، مثل الاستفتاءات. ولا تنطبق على ثلاثة بدائل أو أكثر، حيث تبيّن مبرهنة أرو ومفارقة كوندورسيه أن لا قاعدة تستوفي جميع المعايير الجذابة.