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