Ну, я, собственно, не очень поняла задание, я ведь этого языка не знаю.
Предположим, так: Найти ограничения на

такие, чтобы выполнялось ... Так?
а)

.
Это значит, что прообраз образа каждого множества совпадает с ним самим. Что стоит слева? Множество элементов

таких, что

, то есть

для некоторого

.
задание требует, чтобы все такие

принадлежали

. В частности, если

состоит из одного элемента

, то получается, что

. Итак, равные значения

оботражение принимает только на равных элементах. Значит,

- инъекция.