Una correspondencia es una aplicación inyectiva si cumple la condición de unicidad de imagen, existencia de imagen y unicidad de origen.