Yes, this is true!
A function is a relation between two sets
It assigns one output (and only one! this is important, It's also at least one, so it's exactly one, too) to each of the input variables. It can assign the same output to many, or even all of its inputs .
