Инъекция

Инъективное отображение, отображение «в»

Это функция, такая что, для любых разных элементов из области определения существуют разные частные значения из области значений
$$\forall x_{1},x_{2} \in X : x_{1} \neq x_{2} \Rightarrow f(x_{1}) \neq f(x_{2})$$
Если два образа при отображении совпадают, то и прообразы совпадают
$$f(x_{1})=f(x_{2}) \Rightarrow x_{1}=x_{2}$$