MathGloss

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

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