Пустое множество - это множество, которое не содержит ни одного элемента. Такое множество существует только одно, обычно оно обозначается ∅. Пустое множество - единственное множество, чей класс равносильных ему множеств состоит только из единственного элемента, который является самим пустым множеством. Также пустое множество имеет только одно подмножество (само себя), а также из этого оно равносильно любому своему подмножеству. Этим пустое множество и класс равносильных ему множеств отличается от остальных множеств и равносильных им классов.