Synopsis:
map M -- construct the identity map from M to itself.
This can also be accomplished with id_M or map(M,1).
See also: