Здравствуйте, KoreanLamer!

Бинарное отношение f[$8712$]A[$215$]B называется отображением, если каждому элементу a[$8712$]A соответствует ровно один элемент b[$8712$]B. В данном случае множество A содержит пять элементов (от 1 до 5) и каждому из них соответствует один элемент множества B, поэтому f - отображение.

Бинарное отношение называется инъективным, если a[sub]1[/sub][$8800$]a[sub]2[/sub] [$8594$] f(a[sub]1[/sub])[$8745$]f(a[sub]2[/sub])=[$8709$] (другими словами, каждому элементу b[$8712$]B соответствует не более одного элемента a[$8712$]A). В данном случае элементу 3 множества B соответствуют два элемента множества A (2 и 5), поэтому f - не инъективное отображение.

Бинарное отношение называется сюръективным, если для каждого элемента b[$8712$]B существует хотя бы один элемент a[$8712$]A, для которого b[$8712$]f(a) (другими словами, все элементы B входят в отношение). В данном случае множество B содержит элементы 3 (находящийся в отношении с элементами 2 и 5 из A) и 4 (находящийся в отношении с элементами 1, 3 и 4 из A), поэтому f - сюръективное отображение.