Axiom of choice - Wikipedia, the free encyclopedia
In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the cartesian product of a collection of non-empty sets is non-empty. It states that for every indexed family of nonempty sets there exists an indexed f...