Conjunto no numerable

Un conjunto no numerable es un conjunto que no puede ser enumerado, es decir, un conjunto tal que no existe una función sobreyectiva del conjunto de los número naturales a dicho conjunto. Es decir, un conjunto A es no numerable si no existe ninguna función f tal que:

${displaystyle f:mathbb {N} o Aquad land quad f:{mbox{sobreyectiva}}}$

El argumento diagonal de Cantor es una demostración sencilla de que existen conjuntos infinitos que no son numerables.