---
sr-due: 2024-01-11
sr-interval: 365
sr-ease: 339
alias: ["surjective", "surjectives"]
---
up::[[application]]
sibling::[[injection]]
title::"$\forall y \in \mathscr{D}_{f}, \exists x \in f(\mathscr{D}_{f}), f(x) = y$"
description::"au moins un antécédent"
#maths/analyse 

----

Soit $f: E\mapsto F$ une [[application]].

On dit que $f$ est une *surjection*, ou qu'elle est _surjective_, si et seulement si 
$\forall y\in F, \exists x\in E, f(x) = y$

Une surjection est une [[application]] pour laquelle il existe au moins un antécédent à chaque élément de $F$.