existential_operatorEnglish

A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

English: existential quantifier, existential operator