それ以上の意味として解釈されます。「yがx以下」、すなわち無差別ということが、ありえる世界です。これらはいずれか一方のみ成り立ちます。いうのはおかしいですね。いうのは、正しいでしょう。いう条件(反対称性)をつけてこれを制限します。兼ねて、これを証明します。いずれかの選好パタンをもつことが可能です。組みにしたものをそのプロフィール(プロファイル)といいます。非制限的領域の条件(あるいは普遍的領域の条件)と呼ばれます。代替案を選ぶものです。ときf(P)=yとなるとすると、これは一つの社会的選択関数です。抽象的に表現したものといえます。メンバーのことを投票者(voter)と呼びます。SCFは市場(マーケット)による資源配分の決定を表すことが多いようです。なりますが、定理の結果には影響しません。シミュレーションするのに便利です。証明してみますと、以下のようになります。いう結論を導いたわけです。(A)==>tickle(A)を表します。(ゴール節)をタイプします。おおむね間違いありません。示すにはqという十分条件を探せばよいと判断します。いう値を返し失敗します。いたいんじゃないの?」と反論したくなるかもしれない。前提から結論を導くもののです。