恒等写像
恒等写像(こうとうしゃぞう、identity map)
集合Xの$ id_x : X → X とは任意の$ x \in X について$ id_X(x) = x で定義される写像のこと。
確認用
Q. 恒等写像
参考
関連