14. (10 points) Given sets X CY, let ix : X -Y be the inclusion map: ix = ((x,y)EX x Y | x =>) (X3X A) * = (x)X1 When X = Y, ix : X - X is called the identity map. Let f : A - B be a map, and let X CA. Prove that f = fix. 15. Let f : A - B be a map. (a) (0 points) Prove that f is bijective if and only if there exists a map g : B - A such that fog = is and gof = iA. (b) (10 points) Prove that when the map g exists, it is unique