Definition:Existential Quantifier/Exact

Definition
The symbol $\exists_n$ denotes the existence of an exact number of objects fulfilling a particular condition.


 * $\exists_n x: P \left({x}\right)$

means:
 * There exist exactly $n$ objects $x$ such that $P \left({x}\right)$ holds.

It is a variant of the existential quantifier $\exists$: there exists at least one.