Prueba: La restricción de una función inyectiva a un subconjunto de su dominio sigue siendo inyectiva.