Kiválasztási axióma

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Hunfn

  1. Sablon:Label Ha {Ai:iI} nemüres halmazok családja (I itt tetszőleges indexhalmaz), akkor van olyan f függvény, aminek értelmezési tartománya I és f(i)Ai teljesül minden iI-re (kiválasztási függvény). Másképp fogalmazva,
    iIAi,
    azaz nemüres halmazok tetszőleges nemüres rendszerének direkt szorzata nem üres.

Sablon:Hunl