kiválasztási axióma

Magyar

Kiejtés

• IPA: [ ˈkivaːlɒstaːʃiɒksijoːmɒ]

Főnév

kiválasztási axióma

1. (matematika, halmazelmélet) Ha $\{A_{i}:i\in I\}$ 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)\in A_{i}$ teljesül minden $i\in I$-re (kiválasztási függvény). Másképp fogalmazva,

   $\prod _{i\in I}A_{i}\neq \emptyset$,

   azaz nemüres halmazok tetszőleges nemüres rendszerének direkt szorzata nem üres.

• angol: axiom of choice (en)