In de wiskunde is een surjectieve of onto functie een functie f : AB met de volgende eigenschap. Voor elk element b in de codomein B is er minstens één element a in het domein A zo dat f(a)=b. Dit betekent dat het bereik en het codomein van f dezelfde verzameling zijn.

De term surjectie en de verwante termen injectie en bijectie werden geïntroduceerd door de groep wiskundigen die zich Nicholas Bourbaki noemde. In de jaren 1930 publiceerde deze groep wiskundigen een reeks boeken over moderne geavanceerde wiskunde. Het Franse voorvoegsel sur betekent boven of op en werd gekozen omdat een surjectieve functie haar domein overbrengt op haar codomein.