Category:Axioms/Axiom of Choice
Jump to navigation
Jump to search
This category contains axioms related to Axiom of Choice.
Related results can be found in Category: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 2 subcategories, out of 2 total.
A
Pages in category "Axioms/Axiom of Choice"
The following 14 pages are in this category, out of 14 total.