A function with the property that distinct elements in its domain are mapped onto distinct elements in the codomain. Formally,
is an injection if
A common use of injections is to map or include elements of some smaller set, such as the set of integers, into a larger set, such as the set of real numbers.