mały|Diagram przemienny ilustrujący suriekcję jako funkcję odwracalną prawostronnie
Surjekcja, suriekcjaLogika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha., funkcja „na” – funkcja przyjmująca jako swoje wartości wszystkie elementy przeciwdziedziny, tj. której obraz jest równy przeciwdziedzinie. Innymi słowy: przeciwobraz zbioru niepustego jest niepusty; istnieje prawostronna funkcja odwrotna: jeśli to
Termin suriekcja powstał najpóźniej w 1954 roku, kiedy pojawił się w pracy zespołu Nicolas Bourbaki Jeff Miller, Injection, surjection and bijection, [w:] Earliest Known Uses of Some of the Words of Mathematics (I) , MacTutor History of Mathematics archive, University of St Andrews, mathshistory.st-andrews.ac.uk [dostęp 2022-12-16]..
Definicja Niech oraz będą dowolnymi zbiorami. Funkcja odwzorowuje zbiór na zbiór wtedy i tylko wtedy, gdy każdy element zbioru jest wartością funkcji w pewnym punkcie,
co oznacza się często jako lub
Warunkiem równoważnym jest pokrywanie się przeciwdziedziny z obrazem dziedziny, inaczej
Uwaga Wybór przeciwdziedziny decyduje o surjektywności lub jej braku.