「半順序システム」について(P.14の訳文に合わせるためです。members"をもつ」とされています。member.基本的に『集合的選択と社会的厚生』の証明手続きと同様です。確かに,反対称性の性質を証明に用いていないように思われます。(が,反射性の性質も証明に使われていないように思われます。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。