From calculus, you are familiar with the concept of a
real-valued function f , which assigns to each number x 2 R a
particular value y = f (x), where y 2 R.
But, the notion of a function can also be naturally generalized
to the concept of assigning elements of any set to elements of
any set.