Definition:Restricted Existential Quantifier

Definition
The restricted existential quantifier is denoted $\exists x \in A$ and is defined as follows:


 * $\exists x \in A: P \left({x}\right) \iff \exists x: \left({x \in A \land P \left({x}\right)}\right)$