Funtzio supraiektibo

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu
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:

Correspon 1502.svg
Correspon 1602.svg

Ikus, gainera[aldatu | aldatu iturburu kodea]