मे का प्रमेय

निर्णायक का अर्थ है कि नियम हमेशा कोई उत्तर देता है (जीत या बराबरी)। अनाम का अर्थ है कि मतदाताओं के मतपत्रों की अदला-बदली से परिणाम नहीं बदलता। तटस्थ का अर्थ है कि विकल्पों के नाम बदलने से किसी एक को वरीयता नहीं मिलती। सकारात्मक रूप से अनुक्रियाशील का अर्थ है कि यदि परिणाम बराबरी का हो या A की जीत हो और एक मतदाता A के पक्ष में अपना मत बदल दे, तो A स्पष्ट रूप से जीतता है। जनमत-संग्रह जैसे हाँ/नहीं वाले निर्णयों में बहुमत के नियम को औपचारिक रूप से उचित ठहराने के लिए यह प्रमेय मानक आधार है। यह तीन या अधिक विकल्पों पर लागू नहीं होता; ऐसी स्थिति में एरो का प्रमेय और कॉन्डोर्से विरोधाभास दिखाते हैं कि कोई भी नियम सभी वांछनीय मानदंडों को पूरा नहीं कर सकता।