Что такое пустое множество?

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