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 thenany 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