Выдержка из книги
Виноградов И.М.
Математическая энциклопедия Том 5
Пуоть задано отображение j: X - - У. Если Y Х, то говорят, что отображение / отображает множество X в себя. У совпадает с множеством значений функции /, то говорят, что / отображает множество X на множество У, или что отображение / является с ю р ъ е к т и в н ы м отображением, короче сюръекцией.