Axiom of choice

statement that the product of a collection of non-empty sets is non-empty From Wikipedia, the free encyclopedia

In mathematics the axiom of choice, sometimes called AC, is an axiom used in set theory.

The axiom of choice says that if you have a group of sets , each containing at least one object, it is possible to take one object out of each of these smaller sets and make a new set. You do not always need to use the axiom of choice to do this. You do not need to use the axiom of choice if the starting set is finite, or if the starting set is infinite and has a rule built in for how it can be divided. For example you could select the smallest number in every set without using the axiom of choice even if there are infinite sets. A non mathematical example would be for any (infinite or finite) collection of pairs of shoes, you can pick out the left shoe from each pair, but for an infinite collection of pairs of socks, you could not do this as there is no left or right sock and so would need the axiom of choice.

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.