Mathematical Statement

Existential Quantifier

Existentially quantified statement is of the form $\exists x\in S,P(x)$

Not to be confused with Universal Quantifier.