Synonyms for Existential Operator (same or very similar meaning)
WordNet sense 1 (a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true):
existential quantifierFrom the ODE community, based on WordNetadd/edit