Por definición, un conjunto "S" es "numerable" si existe una función inyectiva "f" : "S" → N desde "S" al conjunto de los números naturales N = {0, 1, 2, 3, ...}.