En matemáticas, una función: f : X ⟶ Y x ⟼ f {\displaystyle {\begin{aligned}f:X&\longrightarrow Y\\x&\longmapsto f\end{aligned}}} es sobreyectiva,[1]​ epiyectiva, suprayectiva,[1]​ suryectiva, exhaustiva,[1]​ onto o subyectiva si está aplicada sobre todo el codominio, es decir, cuando cada elemento de Y {\displaystyle Y} es la imagen de como mínimo un elemento de X {\displaystyle \scriptstyle X}. Wikipedia