選択公理
選択関数
$(A_\lambda|\lambda \in \Lambda)$:集合族$\forall \lambda \in \Lambda, A_\lambda \neq \emptyset$ then $f:\Lambda \rightarrow \bigcup_{\lambda \in \Lambda} A_\lambda$
$f:\lambda \mapsto a \in A_\lambda \quad (\lambda \in \Lambda)$ is called 選択関数.