Surjekcja

Surjekcja^[1], suriekcja^[2][3], funkcja „na” – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj. której obraz jest równy przeciwdziedzinie. Innymi słowy^{[potrzebny przypis]}:

• przeciwobraz zbioru niepustego jest niepusty;
• istnieje prawostronna funkcja odwrotna: jeśli ${\displaystyle f\colon X\to Y,}$ to ${\displaystyle \exists g\colon f\circ g=\operatorname {id_{Y}} .}$

Termin suriekcja powstał najpóźniej w 1954 roku, kiedy pojawił się w pracy zespołu Nicolas Bourbaki^[4].