- множество, не содержащее элементов. Обозначения: 
, Л. Иначе, 
={х: х 
х}, при этом вместо х 
х в этом определении можно было бы использовать любое всегда ложное утверждение. П. м. является подмножеством любого множества. М. И. Войцеховский.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.