La reflexividad y la duplicabilidad se consideran mostrando, con diferentes pruebas, su equivalencia con la infinitud de Dedekind. Luego se presenta una derivación sencilla del teorema de Schröder-Bernstein, un resultado fundamental en la teoría de los números cardinales, generalmente basado en argumentos poco intuitivos.