Сурьективті функция
Математикада x жиынынан Y жиынына дейінгі f функциясы сюръективті (немесе onto) немесе сюръекция болып табылады, егер Y кодоменіндегі әрбір y элементі үшін f-ден x аймағында f (x) = y болатын кем дегенде бір x элементі болса. X бірегей болуы міндетті емес; f функциясы бір немесе бірнеше x элементтерін бір y элементіне сәйкестендіре алады.
функция қосылған кезде
егер Y кодоменіндегі әрбір y элементі үшін f-ден x аймағында f (x) = y