что даёт пустое множество в пересечении с другим множество

ПЕРЕСЕЧЕНИЕ -  это равносильно умножению множеств.

Умножить на ПУСТО= {0} также равно - ПУСТО = {0}