A function is surjective (a surjection or onto) if every element of the codomain is the image of at least one element from the domain.