Todo conjunto finito es un conjunto numerable, puesto que sus elementos pueden contarse, pero la recíproca es falsa: existen conjuntos numerables que no son infinitos (como el propio N).