3 556
editací
Axiom výběru: Porovnání verzí
m
→Formulace axiomu: zpřehlednění a poopravení formálního zápisu
(Format, nadpisy, doplneni ekvivalentnich tvrzeni, motivace pro prijeti a odmitnuti) |
m (→Formulace axiomu: zpřehlednění a poopravení formálního zápisu) |
||
|
Pro každý neprázdný soubor neprázdných [[množina|množin]] existuje [[funkce]], která z každé množiny tohoto souboru vybírá právě jeden prvek, neboli:
<math>\and \; \operatorname{dom}(f)=I \; \and \; ((\forall i\in I) (f(i) \in A_{i})))))</math>
==Motivace pro přijetí AC==
| |||