Сюрективната функция е [[функция]], чието изображение се равнява на кообластта ѝ. По сходен начин, функцията ''f'' с област ''X'' и кообласт ''Y'' е сюрективна, ако за всякивсеки ''y'' в ''Y'' съществува поне един ''x'' в ''X'': <math>f(x)=y</math>.<ref name=":0">{{Cite web|url=https://www.mathsisfun.com/sets/injective-surjective-bijective.html|title=Injective, Surjective and Bijective|website=www.mathsisfun.com|access-date=7 декември 2019}}</ref> Сюрекциите понякога се обозначават с двувърха дясна стрелка, като например в ''f'' : ''X'' ↠ ''Y''.<ref name="Unicode Arrows">{{cite web| title = Arrows – Unicode| url = https://www.unicode.org/charts/PDF/U2190.pdf| accessdate = 11 май 2013}}</ref>
