English
逆関数
関数ｆ：Ｘ ─→ Ｙ において，条件：
「任意のｙ∈Ｙに対し，ｆ(ｘ)＝ｙとなるｘ∈Ｘが一つ，しかもただ一つ存在する」
が満たされるとき，ｆの逆関数──すなわち，条件：
ｇ
○
ｆ＝id
X
，ｆ
○
ｇ＝id
Y
を満たす関数ｇが存在します。実際，それは
ｙ├─→ （ｆ(ｘ)＝ｙとなるｘ∈Ｘ） （ｙ∈Ｙ）
です。
