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