反函式

反函式的概念用於許多型別的數學構造。例如，如果 是限制在 定義域 和 值域 中的函式，其中它是 雙射 的，並且 是滿足 對於所有 的函式，則 是具有此屬性的唯一函式，稱為 的 反函式，記為 。由此也得出 對於所有 ，因此 ，即，求反是雙向的。然而，“反函式”也常用於定義非雙射函式（最常見於複平面中的初等函式，它們是 多值函式），在這種情況下，屬性 中的一個或兩個可能不成立。

反函式也為群、環和域的元素定義（後兩者可以具有兩種不同型別的反函式，稱為加法逆元和乘法逆元）。每個反函式的定義都是對稱的，並且應用兩次會返回起始值。