Задача:Покажите, что следующие три условия на множество

попарно равносильны друг другу:
а)

бесконечно;
б)

вложение

, не являющееся наложением;
в)

наложение

, не являющееся вложением.
Пока что, вопрос такой: можно ли в инъекции

пропускать какие-либо элементы слева или каждый элемент слева должен во что-то отображаться? Более расширенно: пусть

и мы отображаем

,

,

,

,

,

То есть пропустили элемент

. Можно ли так?