Sean dos conjuntos $A$ , $B$ y una aplicación definida entre ellas
$$ f: A \longrightarrow B $$
Diremos que es epiyectiva, sobreyectiva o suprayectiva si todo elemento de $B$ se puede expresar como $f(a)$ , o dicho de otra manera a cada elemento de $B$ le corresponde un elemento de $A$
