選択公理

$(A_\lambda|\lambda\in\Lambda)$(:集合系)
then
$\forall\lambda\in\Lambda,A_\lambda\neq\emptyset \Rightarrow \prod_{\lambda\in\Lambda}A_\lambda\neq\emptyset$