Пусто́е мно́жество, множество, не содержащее ни одного элемента, обычно обозначается $\varnothing$. Понятие «пустое множество» возникает (подобно понятию «нуль») из потребности, чтобы результат всякой операции над множествами был также множеством. Запись $A\cap B= \varnothing$, где символ $\cap$ обозначает пересечение множеств, означает, что множества $A$ и $B$ не имеют общих элементов.