恒等写像
数学における恒等写像（こうとうしゃぞう、）、恒等作用素（こうとうさようそ、）、恒等変換（こうとうへんかん、）は、その引数として用いたのと同じ値を常にそのまま返すような写像である。集合論の言葉で言えば、恒等写像は恒等関係（こうとうかんけい、）である。