If is any function, then we have (where "∘" denotes function composition).
Since the identity element of a monoid is unique, one can alternately define the identity function on to be this identity element.