Попробуйте, например, исходить из того, что есть график такого отображения.
График инъективных отображений есть для других непустых множеств ведь. Как график инъективного отображения из пустого в пустое множество может гарантировать нам, что такое отображение единственно?