##### 恒等映射 - 恒等映射 - **恒等映射**是指始终返回自变量值不变的[[映射]], 直接对应[[恒等关系]], 是最小的[[等价关系]], 定义为 $\text{id}_A: A \to A$, 满足 $\text{id}_A(a) = a$. 恒等映射在[[复合映射]]中起单位元作用, 映射及其[[逆映射]]复合即为恒等映射 $f \circ \text{id}_A = \text{id}_A \circ f = f$, $f \circ f^{-1} = f^{-1} \circ f = \text{id}_A$. 恒等映射在不同分支有不同名称