Surjection (n.f.)

application telle que tout élément de l'ensemble d'arrivée soit l'image d'un ou de plusieurs éléments de l'ensemble de départ.