De otra forma no tan usual, podemos decir que una correspondencia biunívoca que cumpla la condición de existencia de imagen también es una aplicación inyectiva.