選択公理
選択公理(せんたくこうり、Axiom of Choice; AC)
X の中の各集合が空集合でないなら,X の中の各集合から一つずつ要素を選ぶ関数 f が存在する.そのような関数を選択関数と呼ぶ
ref:
『代替集合論* (Alternative Set Theories) の調査』
#集合
#数学