иньекция (меня кстати напрягает, что там должен быть твёрдый знак
)
два разных элемента отображаются в два разных элемента
то есть если элементы не равны, то и образы их не равны,
а если равны, то и образы равны
а если образы равны, то и прообразы (отображаемые элементы) равны
всё логично
PS: но давно это было и я вспомнил только сейчас, прочитав в википедии