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 .