Existential quantifier

In predicate logic, an existential quantification is a type of quantifier which asserts the existence of an object with a given property. It is usually denoted by the logical operatorsymbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"), read as "there exists", "there is at least one", or "for some". Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.