Surjection
In mathematica, un function es un surjection (o function surjective o mappamento a sur un insimul), si e solmente si omne elemento del codominio es un imagine de al minus un elemento del dominio. In iste caso, le imagine coincide con le codominio.

 es un surjection de  a sur   con .

Vide etiam 
Bijection
Injection

Mathematica