Definition If is a set, then the identity map in is the mapping that maps each element in to itself.