##### 恒等关系 - 恒等关系 - **恒等关系**是满足自反性, 非反自反性, 对称性, 反对称性和传递性[[自身关系性质|性质]]的[[自身关系]], 恒等关系是最严格的关系, 仅表示元素与自身相关, 也是最小的[[等价关系]], 等价类只有自身一个元素没有非平凡等价类 $I_A=\{(x,x)\mid x\in A\}$. 恒等关系通常用来表示[[恒等映射]], 即指始终返回自变量值不变的映射 $f(x)=x$, $\forall x\in A$