Surjektivna funkcija

Za funkciju $f\colon X\to Y$ kažemo da je surjektivna ako je slika funkcije jednaka kodomeni funkcije.

To znači da za svaki član kodomene funkcije postoji barem neki član iz domene funkcije koji se preslikava u njega.

Zapisano simboličkom logikom, $(\forall y\in Y)\ (\exists x\in X)$ takav da $f(x)=y$.