A set XXX is countable if there exists a bijection between XXX and the set N\mathbb NN of natural numbers.
∣N∣=ℵ0\vert \mathbb N\vert = \aleph_0∣N∣=ℵ0 is the cardinal number of the naturals.