If f1 and f2 are functions from A to R then
define the sum and product of f1 and f2. These new functions are functions from A to R as well.