A surjection, or onto function, is a type of mapping between two sets where every element in the codomain is the image of at least one element from the domain. This ensures that the range of the function covers the entire codomain, making it essential for establishing bijections and understanding function inverses.