जर एखादे कार्य एक ते एक नसेल तर त्याचे इन्व्हर्स आहे का?
सर्व फंक्शन्सना इन्व्हर्स फंक्शन्स नसतात. f: X → Y फंक्शन्सच्या इन्व्हर्ससाठी, त्यात असा गुणधर्म असणे आवश्यक आहे की Y मधील प्रत्येक y साठी एक असणे आवश्यक आहे, आणि X मध्ये फक्त एक x असणे आवश्यक आहे जेणेकरून f (x) = y. हा गुणधर्म हे सुनिश्चित करतो की g: Y → X हे फंक्शन अस्तित्वात असेल ज्याचा f सह आवश्यक संबंध असेल.