Go backward to Function InversionGo up to TopGo forward to |

1 _{A}:A->A, 1_{A}(x) :=x

If

fo 1_{B}= f1 _{A}of= f.

If

fof^{-1}= 1 _{A}

f^{-1}of= 1 _{B}.

Author: Wolfgang Schreiner

Last Modification: December 7, 1999