понятие теории множеств; пустое множество - множество, не содержащее ни одного элемента; обозначается ? или 0. Понятие пустое множество (подобно понятию «нуль») возникает из потребности, чтобы результат всякой операции над множествами был также множеством.
Значение ПУСТОЕ МНОЖЕСТВО в Современном толковом словаре, БСЭ
Что такое ПУСТОЕ МНОЖЕСТВО
БСЭ. Современный толковый словарь, БСЭ. 2003