Symbols:Set Theory/Existential Quantifier

Existential Quantifier

 * $\exists$

There exists.


 * $\exists x \in S: \map P x$ means that there exists at least one $x$ in the set $S$ for which the propositional function $\map P x$ is true.


 * $\exists x: \map P x$ means that there exists at least one $x$ in the universal set for which the propositional function $\map P x$ is true.