In mathematics, a surjective function is a function f such that, for every element y of the function's codomain, there exists at least one element x in the function's domain such that f(x) = y. In other words, for a function f: X → Y, the codomain... Wikipedia