injection

{{set theory}} A function that maps distinct x in the domain to distinct y in the codomain; formally, a ''f'': ''X'' → ''Y'' such that f(a) = f(b) implies a = b for any a, b in the domain.