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