# Category:Axiom of Choice

This category contains results about Axiom of Choice.

For every set of non-empty sets, it is possible to provide a mechanism for choosing one element of each element of the set.

$\ds \forall s: \paren {\O \notin s \implies \exists \paren {f: s \to \bigcup s}: \forall t \in s: \map f t \in t}$

That is, one can always create a choice function for selecting one element from each element of the set.

## Subcategories

This category has the following 12 subcategories, out of 12 total.

## Pages in category "Axiom of Choice"

The following 18 pages are in this category, out of 18 total.