選択公理

定義

$\varnothing$ を持たない任意の集合族に対して, 各集合から一つずつ要素を選び集合を作る事ができる.

$${\iff }^{\forall }\lambda \in \Lambda [A_{\lambda }\ne \varnothing ]\Rightarrow \prod _{\lambda \in \Lambda }{A}_{\lambda }\ne \varnothing$$