Conjunto con la misma cardinalidad que algún subconjunto del conjunto de los números naturales.