選択関数と選択公理 最後に、選択公理の別の形を紹介しておきます。 が集合 の選択関数であるとは のことを言います。空でない集合族から一つずつ要素を選んでいる関数です。ここで新たな命題を用意します。 (IX') 全ての集合は選択関数を持つ。 この命題に…