Since the identity element of a monoid is unique, one can alternately define the identity function on M to be this identity element.

• 因为么半群的单位元是唯一的，可以以M上的单位元来替代其恒等函数的定义。