Conjunto numerable
De Wikipedia, la enciclopedia libre
En matemática se le llama conjunto numerable a cualquier conjunto que es finito o pueda ponerse en biyección con el conjunto de los números naturales: 
. Esto último significa asignar a cada elemento del conjunto en cuestión un valor del conjunto de los números naturales de manera inyectiva y sobreyectiva simultáneamente.
Así los conjuntos numerables tendrán el mismo cardinal de , el cual es 
(símbolo llamado aleph-sub-cero que proviene del hebreo).
En particular, podemos ordenar un conjunto numerable, estableciendo quién es el primer elemento, quién el segundo, etcétera. El resultado es que el conjunto puede ponerse como la imagen de una sucesión en el conjunto.
Son numerables los siguientes conjuntos (entre otros):
- El conjunto de los números enteros
.
- El conjunto de los números enteros negativos
.
- El conjunto de los números enteros positivos
.
- El conjunto de los números pares.
- El conjunto de los números impares.
- El conjunto de los números primos.
- El conjunto de los números algebraicos.
- El conjunto de los números racionales
.
- Todo conjunto finito es numerable
- Todo subconjunto de un conjunto numerable es numerable
Se cumple que es el "infinito más chico", en el sentido de que todo conjunto infinito es al menos numerable, es decir, que los naturales pueden inyectarse en cualquier conjunto infinito.
Un conjunto que no puede ponerse en correspondencia sobreyectiva con los números naturales se llama conjunto no numerable. Un ejemplo es el conjunto de los números reales 
.
Dependiendo del autor, a veces se reserva el término numerable sólo para los conjuntos infinitos numerables, es decir, sólo para aquellos que están en biyección con los naturales, reservándose el nombre de conjunto finito para el resto.
