标记为formula_3或formula_4。
代数性质.设"f" : "M" → "N"为任一函数，则会有"f" id = "f" = id "f"（其中""为函数复合）。特别地是，id会是所有由"M"至"M"的函数所组成之幺半群的单位元。因为幺半群的单位元是唯一的，也可以反过来把"M"上的恆等函数定义为这个幺半群的单位元。此一定义广义化成了于范畴论中恆等态射的概念，其中"M"的自同态并不必然是函数。