MathGloss

A set $X$ is countable if there exists a bijection between $X$ and the set $\mathbb N$ of natural numbers.

$\vert \mathbb N\vert = \aleph_0$ is the cardinal number of the naturals.