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