surjection

Nom commun

(Mathématiques) Application où tout élément de son ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément de son ensemble de départ.