Let f be the subset of Z × Z defined by f= {(ab, a+b) : a, b belongs to Z } . Is f a function from Z to Z ?