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

Přidáno 17 bajtů ,  před 15 lety
m
rozdělení vzorce na dva řádky pro přehlednost, + vhodnější symbol pro prázdnou množinu
m (vráceno podívejte se na, které tajuplně zmizelo při automergi editkonfliktu)
m (rozdělení vzorce na dva řádky pro přehlednost, + vhodnější symbol pro prázdnou množinu)
 
V matematické notaci:
:<math>(\forall I\neq \varnothingemptyset) (\forall i) (i\in I \implies A_{i} \neq \varnothingemptyset) \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>
<math> \and\, (\forall i) (i \in I \implies f(i) \in A_{i})))</math>
 
==Motivace pro přijetí AC==
3 556

editací