Los Enteros y los Racionales tienen la misma Cardinalidad: n (Z) = n (Q)

Dicha función es la ilustración de la relación biyectiva entre los Naturales y los racionales
positivos. El método consiste en ir relacionando los naturales con los racionales en forma
diagonal.

1 2 3 4 5 6 7 8 9 …… N (naturales)

1 1 3 2 1
1 2 3 4 …… Q (racionales)
2 3 2 3 4

Observaciones de suma importancia:

- Los naturales, los enteros y los racionales por tener la misma cardinalidad, se dice que
son conjuntos numerables.
- Cualquier subconjunto infinito de los naturales tiene la cardinalidad de los naturales.
- Todo conjunto numerable tiene la misma cardinalidad que los naturales.
- Los irracionales y por tanto los reales, son conjuntos no numerables.

Conclusiones:
En resumen, tenemos que:
n (N) = n (Z) = n (Q)