If we have function F:A-B there may exist in anverse function f-1 :B -A which is defined by the rule f -1 (b ) =a where b = f( a). This definition only works if each b € B is an image point under f and if there is only one point a such that f ( a ) = b. What do these functions or mappings are called?