Об пустое множество

Число отображений из пустого множества в любое равно единице (как в пустое, так и в непустое). Единственное отображение: ничего никуда не переходит.

Число отображений из непустого множества в пустое равно нулю, с другой стороны. Некуда элементам переходить; не бывает таких отображений.

http://leblon.livejournal.com/227839.html