Surjektio

Surjektio on funktio, jonka arvojen joukko "täyttää" maalijoukon. Jokaiseen maalijoukon alkioon voidaan liittää jokin lähtöjoukon alkio. ^[1]

Muodollisesti kuvaus ${\displaystyle f:\,X\to Y}$ on surjektio, jos kaikilla ${\displaystyle y\in Y}$ on olemassa ${\displaystyle x\in X}$, jolle ${\displaystyle f(x)\ =y}$.

Jokainen kuvaus saadaan surjektioksi, kun poistetaan maalijoukosta B kaikki alkiot (merkitään siten saatua joukkoa B₁), joille ei kuvaudu mitään. Täten ${\displaystyle f:A\to B_{1}}$ on surjektio.

1. ↑ Viittausvirhe: Virheellinen <ref>-elementti; viitettä h1 ei löytynyt