Пусто́е мно́жество, понятие теории множеств; пустое множество — множество, не содержащее ни одного элемента; обозначается ∅ (
∅
). Пустое множество является подмножеством любого множества. Мощность пустого множества равна нулю.
Понятие пустого множества (подобно понятию «нуль») возникает из потребности, чтобы результат всякой операции над множествами был также множеством.