surjektion

Varje injektiv funktion mellan två ändliga mängder av samma kardinalitet är också en surjektiv funktion ( en surjektion).

På samma sätt är också varje surjektion mellan två ändliga mängder med samma kardinalitet också en injektion.

En surjektiv funktion, eller en surjektion, är en funktion f från mängden X på mängden Y, det vill säga en funktion f från X till Y, sådan att dess värdemängd Vf = Y.