noun
inverse mapping
A mathematical term for a function that reverses another function. Used in set theory and related fields.
写像 f が全単射ならば、逆写像 f^{-1} が存在する。
If the mapping f is bijective, then the inverse mapping f^{-1} exists.
逆関数 is a more common term for inverse function, often used in calculus and analysis, while 逆写像 is more abstract and used in set theory.
Compound of 逆 (inverse) and 写像 (mapping). The term is a direct translation of the mathematical concept.