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: \map P x$

means:
 * There exist exactly $n$ objects $x$ such that $P \map P x$ holds.

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