# Symbols:Set Theory/Existential Quantifier

Jump to navigation
Jump to search

## Existential Quantifier

- $\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.

The $\LaTeX$ code for \(\exists\) is `\exists`

.