Порожня множина: відмінності між версіями

 

[[Файл:Empty set.svg|thumb|right|100px|Символ порожньої множини]]

 

Наприклад, якщо досліджується множина об'єктів, які повинні задовольняти певній властивості, і в подальшому з'ясовується, що таких об'єктів не існує, то зручніше сказати, що шукана множина порожня, ніж оголосити її неіснуючою. Порожню множину можна означити за допомогою будь-якої суперечливої властивості, наприклад: ∅ = {x|x≠x} тощо. Разом із тим, твердження ''множина M — непорожня'' можна замінити рівносильним йому твердженням ''існують елементи, які належать множині M''.