A function is said to be surjective if for every element in it's codomain there exists at most one element in it's domain that produces that value.