matematicas: funcion supreyectiva

En matemática, una función $f \colon X \to Y \,$ es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiva o subyectiva), si está aplicada sobre todo el codominio, es decir, cuando la imagen $Im_f=Y\,$ , o en palabras más sencillas, cuando cada elemento de "Y" es la imagen de como mínimo un elemento de "X".
Formalmente,

$\forall y \in Y \quad \exists x \in X : \quad f(x) = y$