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