Сюрекция е всяко изображение от множество A в множество B, при което всеки елемент на B е образ на поне един елемент от A. Не е задължително елементът да е уникален – функцията f може да нанесе един или повече елементи от A върху един и същ елемент от B.
Определение Сюрективната функция е функция, чието изображение се равнява на кообластта ѝ. По сходен начин, функцията f с област X и кообласт Y е сюрективна, ако за всеки y в Y съществува поне един x в X: . Сюрекциите понякога се обозначават с двувърха дясна стрелка, като например в f : X ↠ Y.
Символически изразено:
Ако , тогава е сюрективна, ако
.
Източници
Категория:Теория на множествата