Инъективное отображение
это отображение, при котором любым двум разным элементам из области определения соответствуют разные элементы из области прибытия. В явном виде, если $f:X\rightarrow Y$ – отображение, то оно инъективно, когда \[ \forall x_1,x_2\in X:\;(x_1\neq x_2)\Rightarrow(f(x_1)\neq f(x_2)). \]
Связанные термины: