社会选择函数是机制设计理论中的一个重要的函数。反映社会选择（集体决策）与所有代理人个人偏好之间关系的函数。社会选择函数f：T→X是定义在n个代理人的类型向量上的集体选择函数，可记为f（t1，…，tn）。社会选择函数与社会福利函数的区别：社会福利函数关注个人偏好如何加总成理性的社会偏好问题，社会选择函数进一步考虑如何把多个人的个人偏好转化成集体决策的问题。