Surjektivna funkcija
Za funkciju f : X → Y {\displaystyle f\colon 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, ( ∀ y ∈ Y )   ( ∃ x ∈ X ) {\displaystyle (\forall y\in Y)\ (\exists x\in X)} takav da f ( x ) = y {\displaystyle f(x)=y} .