Let f be a function from the set of natural numbers to the set of even natural numbers given by f(x)=2x. Then f is