Suppose is a function which satisfies the properties:

for all real numbers and , and

.