Función inyectiva.