事前有效社會選擇函式

事前有效社會選擇函式是在代理人不了解自己類型時的有效社會選擇函式。給定一個可行的社會選擇函式集F，在集合F中的社會選擇函式f是事前有效的，如果在集合F中不存在其他的社會選擇函式在所有人的事前期望效用都不減少的情況下使一些人的事前期望效用增加。如果一個可行的社會選擇函式是事前有效的，那么它也是事中有效的。在一般情況下，事前有效的結果較難實現。