Funtzio supraiektibo

Funtzio supraiektiboren adibidea.

Matematikan, funtzio supreiektiboa $f\colon X\to Y\,$ funtzio bat da, $Y\,$-ko (irudi-multzoa) elementu bakoitzari gutxienez $X\,$-ko (definizio-eremua) elementu bat dagokiona.

Formalki,

$\forall y\in Y\quad \exists x\in X:\quad f(x)=y$

Diagrama hauek funtzio supraiektiboei dagozkie:

Ikus, gainera

• Funtzio injektiboa
• Funtzio bijektiboa