In mathematics, a injective function is a function "f" : "A" → "B" with the following property. For every element "b" in the codomain "B", there is at most one element "a" in the domain "A" such that "f"("a")="b", or equivalently, distinct elements in the domain map to distinct elements in the codomain.