What defines a function compared to a general mapping?
It gives exactly one output for each allowed input.
