Puede entenderse entonces que los conjuntos infinitos «más pequeños» son los conjuntos numerables, como el conjunto de los números naturales.