# Countable

A set $X$ is called countable provided there exists a bijection $f \colon X \rightarrow \mathbb{N}$.