市民主権の条件、あるいは忌避的代替案の不在の条件とも呼ばれる。プロフィールでも、自分のベストだと思う案を通していること。3代替案のとき、個人の選好順序は6通り、無差別を許して13通りある。社会的選択関数が定義できる。素朴な生成シミュレーションでは事実上証明不可能である。Arrow(1963)における定理の記述は次のようであった。一方のみ選ばれつづける)かのいずれかである。パレート条件Pに置き換えられ、より簡潔な形で述べなおされている。PはIIAとその2条件から含意される。現在殆どの文献で紹介されているのはこの形式である。