|  |  4.11.4 map related functions 
 
 
fetchthe identity map between rings (see  fetch)
imapa convenient map procedure for inclusions and projections of rings (see  imap)
preimagepreimage under a ring map (see  preimage)
substsubstitution of a ring variable (see  subst)
 
See also the libraries  algebra_lib and  ring_lib, which contain more
functions, related to maps.
 
 |