Surjeksjon

Ein surjeksjon er ein matematisk funksjon som kan ta alle verdiar i verdimengda si.

Ein funksjon ${\displaystyle \phi :A\to B}$ vert kalla surjektiv på ${\displaystyle B}$, og vi seier at ${\displaystyle \phi }$ er ein surjeksjon av ${\displaystyle A}$ på ${\displaystyle B}$, viss ${\displaystyle \phi (A)=B}$.

Det vil seia at det til kvart element ${\displaystyle y\in B}$ finst minst eitt element ${\displaystyle x\in A}$, slik at ${\displaystyle \phi (x)=y}$.

Formelt: ${\displaystyle \forall y\in B\exists x\in A:\phi (x)=y}$.