Surjektivna funkcija

Za funkciju $f:X\to Y$ kažemo da je surjektivna ili surjekcija 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, $(\mathrm{\forall }y\in Y)(\mathrm{\exists }x\in X):f(x)=y$.

Na slici vidimo da su svi elementi u Y "pogođeni" nekim elementom iz X