Что такое пустое множество?
Пусто́е мно́жество — множество, не содержащее ни одного элемента.
да, все верно)