In mathematics, an injective function is a function f that maps distinct elements of its domain to distinct elements; that is, x₁ ≠ x₂ implies f ≠ f. In other words, every element of the function's codomain is the image of at most one element of... Wikipedia