Injection

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A mapping that sends distinct elements of the domain to distinct elements of the codomain; equivalently, a function f is injective if f(x)=f(y) implies x=y.