Funcția
se numește surjectivă dacă, oricare ar fi
, există
astfel încât
.
Cu alte cuvinte, oricărui element din codomeniu este imagine pentru cel puțin un element din domeniu.
Exemple:
Funcția
este o funcție surjectică, deoarece oricărui element din codomeniu îî corespunde un element din domeniu, așa cum se poate observa în diagrama de mai jos: