Axiom:Axiom of Countable Choice/Form 1

Axiom
Let $\left\langle{S_n}\right\rangle_{n \mathop \in \N}$ be a sequence of non-empty sets.

The axiom of countable choice states that there exists a sequence:
 * $\left\langle{x_n}\right\rangle_{n \mathop \in \N}$

such that $x_n \in S_n$ for all $n \in \N$.

Also see

 * Equivalence of Forms of Axiom of Countable Choice