ula_3。如果存在一函数formula_4，其定义域和值域分别为formula_5，并对每一formula_6有：formula_7则称formula_4为formula_1的反函数，记之为formula_10。注意上标「−1」指的并不是幂，跟在三角学里特指formula_11平方的formula_12不同。例如，若给定一函数formula_13，则其反函数为formula_14。若一函数有反函数，此函数便称为可逆的。
简单规则.一般而言，当formula_15为一任意函