Surjektiv

En surjektiv funktion.

En anden surjektiv funktion.

En ikke-surjektiv funktion.

En afbildning $\phi:A\to B$ kaldes surjektiv på $B$, og vi siger, at $\phi$ er en surjektion af $A$ på $B$, hvis $\phi(A) = B$. Det vil sige, hvis der til hvert element $y\in B$ findes mindst ét element $x\in A$, sådan at $\phi(x) = y$.

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

Se også

• Injektiv
• Bijektiv