与えられた写像 に対して、その逆写像は存在すれば唯一つである。それは を関係と見たときの逆関係に一致しなければならない。
対称性.
写像とその逆写像との間には対称性が存在する。 が から への可逆写像ならば、その逆写像 は から への写像であり、かつ の逆写像はもとの写像 に一致する。記号で書けば、 および に対して
が成り立つ。これは関係の逆転が対合であることにより、逆写像と逆関係との間の関係から従う。
この主張は可逆写像が（第一の定義では）単射または（第二の定義では）全単射とならなければならないことから明らかに演繹される帰結である。この対合対称性は
という式として簡潔に表現できる。
合成写像の逆写像は
なる式で与えられる。ここで と が逆順になっていることに注意。「まず を施してから を施す」という操作を取り消すには、「まず を取り消してから を取り消す」ようにしなければならない。
である。この過程を逆にするには、まず を引いて、そのあと で割る
としなければならない。これは に等しい。
自己逆性.
任意の集合 に対して、そのうえの恒等写像はそれ自身を逆写像として持つ。つまり
が成り立つ。もっと一般に、函数 がその逆函数と相等しいための必要十分条件は、合成函数 が に等しいことである。このような写像は対合と呼ばれる。
逆函数.
一変数の初等解析学では実数を実数に写す写像である実函数を主に考える。そのような函数は、しばしば
のような明示的な数式を通して定義される。実一変数実数値函数 はそれが一対一である限り逆函数を持つ。
逆函数の式.
 が存在するとき、その式を求める方法のひとつが、方程式 を について解くことで与えられる。例えば、 が
なる式で与えられているとき、方程式 を について解けば、
となるから、求める逆函数 が
なる式で与えられる。しかしいつでもこのような逆函数の求め方が通用するわけではない。例えば が
なる函数であれば、 は一対一で、したがって逆函数 を持つのだが、この逆函数を与える公式は無限項の和
となる（ケプラーの方程式#逆ケプラー方程式を参照）。
逆函数のグラフ.
 が可逆ならば函数
のグラフと方程式