Un conjunto es "numerable" si: (1) es finito, o (2) si tiene la misma cardinalidad (tamaño) que el conjunto de los números naturales.