对任意集合a,如果映射f:a→a定义为f(a)=a,即规定a中每个元素a与自身对应,则称f为a上的恒等映射(identical [identity] mapping)。
identical [identity] mapping