The justification for using that notation, , for the set of all functions is a generalization from the finite case.
If both are finite sets, where then any function
is just having the properties:
So the function has exactly distinct pairs.
Each of those pairs has possible second terms.
Thus there are or possible functions from