בחירה חברתית – הבדלי גרסאות

הנחת היסוד היא שכל מצביע בפני עצמו נוהג באופן רציונלי, כלומר שאם הוא מעדיף את a על b ואת b על c, אז הוא מעדיף את a על c. באופן פורמלי, כל מצביע בוחר [[יחס טרנזיטיבי]] (הוא יכול לבחור ו[[יחס סדררפלקיסיבי|רפלקסיבי]]; עלהיינו, קבוצתהמצביע המצביעים,מחלק אבלאת מותרהמועמדים ל"מחלקות אדישות" שבתוכן אין לו גםכל להיותהעדפה, אדישומדרג בהשוואהאת שלהמחלקות שנילפי מועמדים[[יחס אוסדר יותרחזק]]). בהקשר זה, יחס הסדר נקרא גם '''יחס העדפות'''. בגישה מתמטית זו, '''בחירה חברתית''' היא [[שלשה סדורה]] הכוללת את קבוצת המצביעים N, את קבוצת המועמדים A, ופונקציה המתאימה לכל מצביע את יחס ההעדפות שלו.