事後有效社會選擇函式

事後有效社會選擇函式是在已知代理人類型時的有效社會選擇函式。在滿足參與約束的社會選擇集X中，如果社會選擇函式f（t）是帕累托最優的，且滿足預算平衡的條件，那么該社會選擇函式是事後有效的。參與人的福利變化應考慮他們已顯示其私人信息（私人信息已成為共同知識）後的效用水平。事後有效的社會選擇函式也適合分析代理人類型為共同知識的情況。與事前和事中有效的情況不同：事前和事中有效的社會選擇函式需同時滿足參與約束和激勵相容約束，而事後有效只需考慮滿足參與約束和預算平衡的條件。如果社會選擇函式是事前和事中有效的，它不一定是事後有效的。