De manera equivalente, un conjunto es "numerable" si tiene la misma cardinalidad que algún subconjunto del conjunto de los números naturales.