existential quantifier > define

noun

• A logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true.
  • synonyms: existential operator