Axiom výběru: Porovnání verzí

: <math>(\forall I\neq \emptyset) (\forall i) (i\in I \implies A_{i} \neq \emptyset) \implies (\exists f (f\ \mbox{je funkce} \, \andland \, \operatorname{dom}(f)=I \, \andland \, (\forall i) (i \in I \implies f(i) \in A_{i})))</math>.