Сюръекция: различия между версиями

'''Сюръе́кция''' (от {{lang-fr|sur}} «на, над» + {{lang-la|jacio}} «бросаю»), '''''сюръективное отображение''''' — [[Функция (математика)|отображение]] [[Множество|множества]] <math>X</math> на множество <math>Y</math> <math>(f\colon X\to Y)</math>, при котором каждый [[элемент множества]] <math>Y</math> является [[Образ (математика)|образом]] хотя бы одного элемента множества <math>X</math>, то есть <math>\forall y\in Y\exists x\in X:y=f(x)</math>, иными словами — функция, принимающая все возможные значения. Иногда говорят, что сюръективное отображение <math>f\colon X \to Y</math> ''отображает <math>X</math> '''на''' <math>Y</math>'' (в противоположность [[Инъекция (математика)|инъективному отображению]], которое ''отображает <math>X</math> '''в''' <math>Y</math>'').