¿Hay más números pares, impares, o naturales? Parece que debería haber tantos pares como impares, porque a cada impar puedes asociarle un par (súmale o réstale 1), lo que implica que hay una biyección entre ellos y, como vimos en la entrada anterior, que tienen el mismo cardinal (o sea, “la misma cantidad de elementos”). Ahora, en su día, yo creía que habría más naturales que pares, porque los naturales contienen todos los pares pero tienen además números extra. En la jerga matemática, había encontrado una función inyectiva de los pares a los naturales que no era suprayectiva, luego no era una biyección. Pero bien podía ser que existiera otra función que sí lo fuera. Y, en efecto, existe: la función que multiplica por 2 cada número natural es una función de los naturales a los pares, que es inyectiva (no puede ser que dos números distintos sean iguales tras multiplicarlos por 2) y suprayectiva (cualquier par es el doble de otro número natural). Luego, por sorprendente que pueda parecer en un principio, hay tantos pares como naturales.