A surjective function is a function whose image is equal to its codomain. Equivalently, a function with domain and codomain is surjective if for every in there exists at least one in with .
