In mathematics, an injective function is a function that associates distinct arguments with distinct values; in other words, every unique argument produces a unique result. It is not necessary that all elements in codomain must be mapped.
An injective function is called an injection, and is also said to be a one-to-one function (not to be confused with one-to-one correspondence, i.e. a bijective function).
A function f that is not injective is sometimes called many-to-one. (However, this terminology is also sometimes used to mean "single-valued", i.e. each argument is mapped to at most one value.)
A monomorphism is a generalization of an injective function in category theory.
Contents |
|
