A function pairs each allowed input with a single, definite output. Two different inputs may share an output, but one input can never produce two different outputs.
each input⟶exactly one output
Only the choice naming exactly one output for each input captures the definition.