मान लजिए कि `f: {1,2,3} to {a,b,c}` एक एककी तथा अच्छादक फलन इस प्रकार है कि `f(1)=a,f(2) b` और `f(3) = c`, तो सिद्ध कोजिए कि फलन `g: {a,b,c) to {1,2,3}` का ऐसा अस्तित्व है , ताकि `gof = I_(x)` तथा `fog = I_(y)` जहाँ `X = {1,2,3}` तथा `Y = {a,b,c}` हो |

Answer

Y पर ततसमक फलन है।