選択公理
選択公理(せんたくこうり、Axiom of Choice; AC)
X の中の各集合が空集合でないなら，X の中の各集合から一つずつ要素を選ぶ関数 f が存在する．そのような関数を選択関数と呼ぶ
ref:
『代替集合論＊ （Alternative Set Theories） の調査』
『数物系のための圏論 : 導来圏, 三角圏, A∞圏を中心に』
#集合
#数学