Ejemplo

El dominio de esta función es el conjunto de números naturales, el codominio es el

conjunto de los números cuadrados de los números naturales. Lo que se hará a
continuación permitirá demostrar que estos conjuntos son de cardinalidad infinita. Se
define una función entre ellos como: a cada número natural se le asocia a su cuadrado,
por ejemplo, 𝑓(1) = 1, 𝑓(2) = 4, 𝑓(3) = 9, etc.

Esta función es una correspondencia biunívoca, es decir, que es una función inyectiva
y suprayectiva; o sea, es una función biyectiva. De la que se concluye que ambos
conjuntos tienen la misma cardinalidad, dicho de otra manera, existe la misma
cantidad de los números naturales que de números naturales cuadrados.

Lo anterior, permite demostrar que ambos conjuntos son de cardinalidad infinita pues
existe una biyección entre ellos y el segundo es un subconjunto propio del primero,
además, de tener un ejemplo donde se pueden comparar conjuntos infinitos.