恆等函数（英语：）是数学中对于传回和其输入值相同的函数的称唿。换句话说，恆等函数为函数formula_1。
定义.设M为一集合，于M上的恆等函数f被定义于一具有定义域和陪域M的函数，其对任一M内的元素x，会有formula_2的关系。于M上的恆等函数f通常标记为formula_3或formula_4。
代数性质.设"f" : "M" → "N"为任一函数，则会有"f" id = "f" = id "f"（其中""为函数复合）。特别地是，id会是所有由"