existential operator

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

example:

speech part: noun

synonyms: existential quantifier