En funksjon ϕ : A → B {\displaystyle \phi :A\to B} kalles surjektiv på B {\displaystyle B} , og vi sier, at ϕ {\displaystyle \phi } er en surjeksjon av A {\displaystyle A} på B {\displaystyle B} , hvis ϕ ( A ) = B {\displaystyle \phi (A)=B} . Det vil si, hvis det til hvert element y ∈ B {\displaystyle y\in B} finnes minst ett element x ∈ A {\displaystyle x\in A} , slik at ϕ ( x ) = y {\displaystyle \phi (x)=y} .
Formelt: ∀ y ∈ B ∃ x ∈ A : ϕ ( x ) = y {\displaystyle \forall y\in B\exists x\in A:\phi (x)=y} .
