Answer: True
Explanation: It must work for every possible input value. And it has only one relationship for each input value.