Funcion Sobreyectiva

Relacion sobreyectiva: En matemáticas, una función  es sobreyectiva (epiyectiva, suprayectiva, suryectiva, exhaustiva o subyectiva), si está aplicada sobre todo el codomino, es decir, cuando cada elemento de "Y" es la imagen de como mínimo un elemento de "X".

Formalmente,