In mathematics, a surjective or onto function is a function "f" : "A" → "B" with the following property. For every element "b" in the codomain "B", there is at least one element "a" in the domain "A" such that "f"("a")="b". This means that no element in the codomain is unmapped, and that the range and codomain of "f" are the same set.