Injective Function

An Injective Function is a Function where if f(a) = f(b) then a==b.

• AKA: One-to-One Function.
• See: Injective Relation, Surjective Function, Partial Function.

---

---

References

2009

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Injective_function
  • In mathematics, an injective function is a function which associates distinct arguments with distinct values.
  • 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.

---