逆映射：设有映射f：A->B,如果存在映射g：B->A使得g*f=IA，f*g=IB其中IA、IB分别是A与B上的恒等映射，则称g为f的逆映射。

设f：A→B是可逆映射，那么使得g。f=，f。g=的g：B→A是由f唯一确定的（此时记g=)。证：如果还有h:B→A使g。h=，f。h=，那么可得（g。f）。h=g。（f。h） 但（g。f）。h=。h=h，g。（f。h）=g。 =g，从而h=g.。当f：A→B可逆时，这个由f唯一确定的映射：B→A即称为f的逆映射。