A function gives each input exactly one output. Two inputs can land on the same output, but one input can never go two places.