Category:Axiom of Countable Choice
Jump to navigation
Jump to search
This category contains results about Axiom of Countable Choice.
Form 1
Let $\sequence {S_n}_{n \mathop \in \N}$ be a sequence of non-empty sets.
The axiom of countable choice states that there exists a sequence:
- $\sequence {x_n}_{n \mathop \in \N}$
such that $x_n \in S_n$ for all $n \in \N$.
Form 2
Let $S$ be a countable set of non-empty sets.
Then $S$ has a choice function.
Subcategories
This category has only the following subcategory.
Pages in category "Axiom of Countable Choice"
The following 2 pages are in this category, out of 2 total.