O funcție se numește surjectivă dacă oricare element al mulțimii de valori a funcției este imaginea prin funcție a unui element din domeniul funcției. Simbolic pentru orice astfel încât .

Vezi și modificare