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:
such that $x_n \in S_n$ for all $n \in \N$.