# Definition:Choice Function/Use of Axiom of Choice

This page has been identified as a candidate for refactoring.In particular: Reference to $\mathbb S$ needs to be on this page so as to make it self-contained. Rethinking the structure of the parent page, and what is directly subpaged from it, can be considered.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

## Definition

The Axiom of Choice (abbreviated **AoC** or **AC**) is the following statement:

*All $\mathbb S$ as above have a***choice function**.

It can be shown that the AoC it does not follow from the other usual axioms of set theory, and that it is relative consistent to these axioms (i.e., that AoC does not make the axiom system inconsistent, provided it was consistent without AoC).

Note that for any given set $S \in \mathbb S$, one can select an element from it (without using AoC). AoC guarantees that there is a choice function, i.e., a function that "simultaneously" picks elements of all $S \in \mathbb S$.

AoC is needed to prove statements such as "all countable unions of finite sets are countable" (for many specific such unions this
can be shown without AoC), and AoC is equivalent to many other mathematical statements such as "every vector space has a basis".

Work In ProgressIn particular: The above needs to be rewritten more tersely. Examples of its use should be moved either to the AoC page itself or onto the specific pages where the statements themselves are used.Note that the recent amendment to this page which added a considerable quantity of material was made by an anonymous editor and therefore we can not enter into a discussion with him/her. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by completing it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{WIP}}` from the code. |