A surjective function, or onto function, is a type of mapping between two sets where every element in the codomain has at least one pre-image in the domain. This ensures that the function covers the entire codomain, making it an essential concept in understanding the structure and behavior of mathematical functions.