V matematice je surjektivní nebo onto funkce funkce f : AB s následující vlastností. Pro každý prvek b v oboru B existuje alespoň jeden prvek a v oboru A takový, že f(a)=b. To znamená, že obor a kodomén funkce f jsou stejná množina.

Termín surjekce a související termíny injekce a bijekce zavedla skupina matematiků, která si říkala Mikuláš Bourbaki. Ve 30. letech 20. století tato skupina matematiků vydala řadu knih o moderní pokročilé matematice. Francouzská předpona sur znamená nad nebo na a byla zvolena proto, že surjektivní funkce mapuje svůj obor na svůj kodomén.