Más concretamente, un conjunto se dice que es numerable (o contable) cuando existe una biyección entre este conjunto y un subconjunto de los números naturales.