Axiom výběru: Porovnání verzí
Smazaný obsah Přidaný obsah
m Pridan odkaz na clanek o ZF |
m robot: stylistické, typografické a kódové korekce podle specifikace |
||
Řádek 1:
'''Axiom výběru''' (ozn. '''(AC)''') je [[axiom]]em často přidávaným k obvyklým axiomům [[Zermelo-Fraenkelova teorie množin|Zermelo-Fraenkelovy teorie množin]] (ZF). Poprvé byl formulován [[Ernst Zermelo|Ernstem Zermelem]] v roce [[1904]].
Tento [[axiom]] tvrdí:<br />
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:
| |||