Сюр'е́кцыя (ад фр. sur «на, над» + лац. jactio «кідаю»), сюр'ектыўнае адлюстраванне — адлюстраванне мноства X {\displaystyle X}  на мноства Y {\displaystyle Y} ( f : X → Y ) {\displaystyle (f\colon X\to Y)}  , пры якім кожны элемент мноства Y {\displaystyle Y} з'яўляецца вобразам прынамсі аднаго элемента мноства  X {\displaystyle X}  , гэта значыць ∀ y ∈ Y ∃ x ∈ X : y = f ( x ) {\displaystyle \forall y\in Y\exists x\in X:y=f(x)}  , іначай кажучы — гэта функцыя, якая прымае ўсе мажлівыя значэння.