I was just wondering why functions can only have one output per input?
That is a requirement in the definition of function.
A relation on a set can have more than one output per input.
A function is a particular type of relation, no two pairs can have the same first term.