A function is surjective (a.k.a. onto) if every value in the codomain can be an output from some input, i.e., for all there exists an such that . See Also injection bijection
