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

Přidány 2 bajty ,  před 15 lety
m
robot: stylistické, typografické a kódové korekce podle specifikace
m (Pridan odkaz na clanek o ZF)
m (robot: stylistické, typografické a kódové korekce podle specifikace)
'''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:
 
42 548

editací