Значение ПУСТОЕ МНОЖЕСТВО в Большом энциклопедическом словаре

ПУСТОЕ МНОЖЕСТВО

понятие теории множеств; пустое множество - множество, не содержащее ни одного элемента; обозначается ? или 0. Понятие пустое множество (подобно понятию "нуль") возникает из потребности, чтобы результат всякой операции над множествами был также множеством.

Большой энциклопедический словарь.