Existential quantification

Mathematical use of "there exists"

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 operator symbol ∃, 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.

From Wikipedia, under CC BY-SA. More on occurri.