Em matemática, uma função f {\displaystyle f} de um conjunto X {\displaystyle X} para um conjunto Y {\displaystyle Y} é sobrejetiva, se para todo elemento y {\displaystyle y} no contradomínio Y {\displaystyle Y} de f {\displaystyle f} houver pelo menos um elemento x {\displaystyle x} no domínio X {\displaystyle X} de f {\displaystyle f} tal que f = y. Wikipedia