W matematyce, surjektywna lub onto funkcja jest funkcją f : AB z następującą własnością. Dla każdego elementu b w kodomenie B istnieje co najmniej jeden element a w dziedzinie A taki, że f(a)=b. Oznacza to, że zakres i współdziedzina funkcji f są tym samym zbiorem.

Termin surjekcja oraz pokrewne terminy wtrysk i bijekcja zostały wprowadzone przez grupę matematyków, która nazwała się Nicholas Bourbaki. W latach trzydziestych XX wieku ta grupa matematyków opublikowała serię książek na temat nowoczesnej zaawansowanej matematyki. Francuski przedrostek sur oznacza nad lub na i został wybrany, ponieważ funkcja surjektywna odwzorowuje swoją dziedzinę na swoją współdziedzinę.