__ is a relation that gives a single output number for every valid input number.
Your answer