Como puede verse una aplicación que cumple la condición de unicidad de origen es una Aplicación inyectiva.