injection

A ‘one-to-one’ mapping (function) in which only one element of its domain is mapped to each element of its range. See the function article for a complete exposition.