Axiom výběru: Porovnání verzí
Smazaný obsah Přidaný obsah
m rozdělení vzorce na dva řádky pro přehlednost, + vhodnější symbol pro prázdnou množinu |
|||
Řádek 6:
V matematické notaci:
<math>(\forall I\neq \emptyset) (\forall i) (i\in I \implies A_{i} \neq \emptyset) \implies (\exists f (f\ \mbox{je funkce} \, \and \, \operatorname{dom}(f)=I \, \and \, (\forall i) (i \in I \implies f(i) \in A_{i})))</math>
==Motivace pro přijetí AC==
| |||