Определение

Инъекция - такое отображение, что:
$$f: X\to Y, \text{ если } ((f(x_{1}=y)\wedge f(x_{2})=y))\implies x_{1}=x_{2}$$