Is the following correspondence a function
Is the following correspondence a function