∃! x ∈ U [P (x)].
There exists at least one or there is none (∃ ∨ ∄) or, maybe ~∃!
You can ask a new question or answer this question.