Surjektio

Surjektio:

Kuvaus $f:\,X\to Y$ on surjektio, jos kaikilla $x\in X$, $x=f(y)$, jollekin $y\in Y$.

Siis jokaiselle funktion määrittelyjoukon alkiolle löytyy vastaava alkio maalijoukossa.

Toisin:

Kuvaus$f:\,X\to Y$on surjektio, jos $range(f)=X$.

Funktio f: Q → Z, f(m \div n) = 2m on surjektio.

Katso myös: funktio, bijektio, surjektio