În matematică, o funcție surjectivă sau onto este o funcție f : AB cu următoarea proprietate. Pentru fiecare element b din codominiul B există cel puțin un element a în domeniul A astfel încât f(a)=b. Aceasta înseamnă că domeniul și codominiul lui f sunt același ansamblu.

Termenul de surjecție și termenii înrudiți de injecție și bijecție au fost introduși de grupul de matematicieni care s-a numit Nicholas Bourbaki. În anii 1930, acest grup de matematicieni a publicat o serie de cărți de matematică modernă avansată. Prefixul francez sur înseamnă deasupra sau pe și a fost ales deoarece o funcție surjectivă își mapează domeniul pe codominiul său.