# Category:Examples of Use of Axiom of Choice

Jump to navigation
Jump to search

This category contains examples of use of **Axiom: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.

## Pages in category "Examples of Use of Axiom of Choice"

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

### A

### B

### C

- Cantor-Dedekind Hypothesis
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum
- Cardinality of Infinite Sigma-Algebra is at Least Cardinality of Continuum/Corollary
- Cardinals are Totally Ordered
- Cartesian Product of Subsets/Family of Nonempty Subsets
- Characterization of Paracompactness in T3 Space
- Characterization of Paracompactness in T3 Space/Lemma 13
- Characterization of Paracompactness in T3 Space/Lemma 8
- Characterization of Paracompactness in T3 Space/Statement 4 implies Statement 5
- Compact Subspace of Hausdorff Space is Closed/Proof 1
- Compactness Theorem/Proof using Ultraproducts
- Condition for Composite Mapping on Right
- Continuous Real Function Differentiable on Borel Set
- Countable Subset of Minimal Uncountable Well-Ordered Set Has Upper Bound

### D

### E

### F

### H

### I

- Inductive Construction of Sigma-Algebra Generated by Collection of Subsets
- Infinite Set has Countably Infinite Subset/Proof 1
- Infinite Set has Countably Infinite Subset/Proof 2
- Infinite Set has Countably Infinite Subset/Proof 3
- Irrational Numbers are Uncountably Infinite
- Irreducible Subspace is Contained in Irreducible Component

### L

### O

### P

- Product Space is Completely Hausdorff iff Factor Spaces are Completely Hausdorff/Necessary Condition
- Product Space is Path-connected iff Factor Spaces are Path-connected
- Product Space is T3 1/2 iff Factor Spaces are T3 1/2/Product Space is T3 1/2 implies Factor Spaces are T3 1/2
- Product Space is T3 iff Factor Spaces are T3
- Product Space is T3 iff Factor Spaces are T3/Product Space is T3 implies Factor Spaces are T3