R (all real numbers)

{y element R : y>0} (all positive real numbers)

(assuming a function from reals to reals)

injective (one-to-one)