3: Cardinalidad
( \newcommand{\kernel}{\mathrm{null}\,}\)
Miniaturas: Función biyectiva de N al conjunto E de números pares. Aunque E es un subconjunto propio de N, ambos conjuntos tienen la misma cardinalidad. (CC BY-SA 3.0; Jochen Burghardt vía Wikipedia)