Funciones Suprayectiva

         Una función f entre los conjuntos A y B se dice que es suprayectiva, sobreyectiva o exhaustiva, cuando cada elemento de B es imagen de, al menos, un elemento de A. Es decir,

                                   f :A −→ B es suprayectiva ⇐⇒ ∀b ∈ B, ∃a ∈ A tal que f(a) = b

En otras palabras, f es sobreyectiva si la imagen de f es todo el conjunto B, es decir si Img (f) = B.