Pero si el dominio se restringe a los números positivos, obteniendo así una nueva función formula_9 , entonces sí se obtiene una función inyectiva.