Como determinar se um conjunto definido por uma condição é unitário, vazio ou não vazio?

Um conjunto definido por condição é unitário quando a condição admite exatamente um elemento, vazio quando não admite nenhum elemento e não vazio quando admite pelo menos um elemento.