恒同映射是指如果映射f：X→X满足：对任何x∈X，f(x)=x，则称f为集合X到自身的恒同映射。