То есть нужно, чтобы для
ООФ была
?
Ну вроде того.
Значит равносильность?
Ага.
Я точно помню, что сюръекция -- это "на", а инъекция "в". Это легко запомнить. А вот определения могу перепутать, так как не понимаю - почему именно "в" назвали? Как это согласуется с определением?
Ну смотрите: инъективное отображение - отображение, при котором разные точки имеют разные образы, либо у каждой точки конечного множества либо есть один прообраз, либо их нет вообще, прообразов не более одного. То есть, мы берём начальное множество и отображаем его внутрь, "в" конечное, так что, часть множества относится один-к-одному, а другая часть не затронута - мы как бы запихнули наше множество в новое.
Сюръективное отображение - такое, что каждая точка конечного множества имеет прообраз. Причем, возможно, не один - прообразов не менее единицы. То есть, нашим множеством мы полностью накрываем конечное (возможно, с запасом).
Я бы так запоминал.