existential operator

English Thesaurus

1. a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true (noun.communication)

hypernym	:	logical quantifier, quantifier,
definition	:	(logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition (noun.communication)