Aksiom izbora

Ovo je glavno značenje pojma Aksiom izbora. Za druga značenja, pogledajte Aksiom izbora (razdvojba).

Aksiom izbora je aksiom iz teorije skupova.

Imamo I, proizvoljan neprazan skup i vrijedi

${A_{i}:i\in I}$ neprazna familija u parovima disjunktnih nepraznih skupova.

U tom slučaju ima skup B takve osobine da je

$B\cap A_{i}$ jednočlan skup za sve $i\in I$.

Taj skup B nazivamo izborni skup za familiju ${A_{i}:i\in I}$

Neke od posljedica aksioma izbora su čudne, kao što je poučak Banach-Tarskog.