Определение 1

Отображение $\large f:X \to Y$ называется биекцией и обозначается $\large f:X \leftrightarrow Y$, если оно:

1.  Переводит элементы множества $X$ в разные элементы множества $Y$ (т.е. выполняется взаимно однозначное отображение — инъекция):
   • $\forall x_{1} \in X$, $\forall x_{2} \in X$, $f(x_{1})=f(x_{2})\Rightarrow x_{1}=x_{2}$.
2. Любой элемент из $Y$ имеет свой прообраз (т.е. выполняется сюръекция):
   • $\forall y \in Y$, $\exists$ $x \in X$, $f(x)=y$.

Пример:

• Изобразим биективное отображение $\large f$, где $f:A \to B$:
  
• Для композиции $g \circ f$, где $f:A \to B,\quad g:B \to C$, рисунок будет выглядеть так:
  

Определение 2

Единичным отображением $e_{X}:X \to X$ называется отображение, переводящие каждый элемент $x \in X$ в себя.

Теорема

Пусть $f: X \to Y$, $h: Y \to Z$ — биективные отображения. Тогда биективна и их композиция $h \circ f$, причем:

$$(h \circ f)^{-1}=f^{-1} \circ h^{-1}$$
Доказательство:
Биективность $f$ влечёт существование и биективность $f^{-1}$.
Из условия существования обратного отображения для биективных отображений следует:
$$\left.\begin{aligned} f\circ f^{-1}=e_{Y} \\ f^{-1}\circ f=e_{X}\end{aligned}\right\} \Rightarrow {(f^{-1})}^{-1}=f$$
Далее существуют отображения:
$f^{-1}: Y\to X \quad h^{-1}: Z \to Y$
$f^{-1}\circ h^{-1}:Z\to X$
Из равенств
$(h\circ f)(f^{-1}\circ h^{-1})=\big( (h\circ f)\circ f^{-1}\big)\circ h^{-1}=\big(h \circ (f\circ f^{-1})\big) \circ h^{-1}=$
$$=h \circ h^{-1}=e_{Z}$$
$(f^{-1} \circ h^{-1})\circ(h \circ f)= f^{-1}\circ \big(h^{-1} \circ (h \circ f) \big)=f^{-1}\circ \big((h^{-1}\circ h) \circ f\big)=$
$$=f^{-1} \circ f=e_{X}$$
вытекает, что $f^{-1}\circ h^{-1}$ — обратное отображение к $h \circ f$.

Список литературы:

1. Кострикин А. И. Введение в алгебру. — М.: Наука, 1977. стр. 37-38 стр.
2. Фейс К. Алгебра: кольца, модули и категории. Том 1 — М.: «Мир», 1977. — 40 стр.
3. Н. К. Верещагин, А. Шень. Часть 1. Начала теории множеств. Лекции по математической логике и теории алгоритмов. — 2-е изд., испр. — М.: МЦНМО, 2002. — 128 стр.