恒同映射

集合 $X$ 的恒同映射是指映射 $1_{X} : X ⟶ X,$ 它将每个元素映到自身, 即对任何 $x \in X$ , 有 $1_{X} (x) = x .$ 恒同映射是集合范畴里的恒同态射.