This site contains: mathematics courses and book; covers: image analysis, data analysis, and discrete modelling; provides: image analysis software. Created and run by Peter Saveliev.

From Intelligent Perception

Given a function f: X → Y, its inverse is a function f^-1: Y → X satisfying:

 f-1f = idX and
 ff-1 = idY.

Such a function exists when f is invertible or bijective. Then f^-1 is unique.