Теорема. Единственность обратной функции

Теорема

Если обратная функция существует, то она единственна.

Доказательство

Пусть $g_1$ и $g_2$ — обратные функции к $f$. Тогда

$g_2=g_2\circ e_Y=g_2\circ (f\circ g_1)=(g_2\circ f)\circ g_1=e_X\circ g_1=g_1$

функцияиотображение