Suppose is a function which satisfies the properties:
for all real numbers and , and
.