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