Пустое множество — это множество, не содержащее ни одного элемента. 17 Обычно обозначается ∅. 1

Некоторые принципы пустого множества:

• Ни одно множество не является элементом пустого множества. 710
• Пустое множество является подмножеством любого множества. 710
• Объединение пустого множества с любым множеством равно последнему. 710

Доказать существование пустого множества можно, например, в некоторых формулировках теории множеств, где в одних случаях оно постулируется, а в других — доказывается. 710

Запись A∩B=∅, где символ ∩ обозначает пересечение множеств, означает, что множества A и B не имеют общих элементов. 1