Definition: Let X be a set. Then the identity map on X is the map id:X->X defined by id(x)=x.

The identity map is a special case of the inclusion map.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.