効率性の定義 選好組 ≿∈DIのもとで帰結 x∈Xが効率的であるとは y≿ix∀i∈I y≻jx∃j∈I を満たす帰結 yが存在しないことである。 つまり誰一人として悪化させることなく、誰か一人でも改善できるなら、それは効率的ではない。 社会的選択関数 f:Di→X に関して、全ての選好組 ≿∈DIについて帰結 f(≿)が選好組 ≿ のもとで効率的であるなら、 fは効率的であるという。