Сюръективное отображение
это отображение, множество значений которого совпадает с областью прибытия. В явном виде, если $f:X\rightarrow Y$ – отображение, то оно сюръективно, когда \[ f(X)=Y. \] Говорят также, что $f$ есть отображение $X$ на $Y$.
Связанные термины: