existential quantification

• E.g. $\exists x\in X,\mathbb{P}(x)$
• kind of like $\bigvee$