Existential quantification

Existential quantification is a concept from mathematical logic and predicate logic that expresses that there exists at least one element in a particular domain for which a certain property or predicate holds true. It is typically denoted using the symbol ∃ (the existential quantifier).