Это утверждение верно. Пустое множество — это множество, которое не содержит ни одного элемента. Оно обозначается символом Ø или {}.