En mathématiques, une surjection ou application surjective est une application pour laquelle tout élément de l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément ...

La composée de deux surjections est une surjection et, inversement, si est une surjection, alors g est une surjection. Une application est dite bijective (ou que c'est une bijection) lorsqu'elle est à ...