Axiom of Choice

Definition

Informally

Given any collection of non-empty sets, it is possible to construct a new set by choosing one element from each set, even if the collection is infinite.

Formally

• later