Source : WordNet®

existential operator
     n : a logical quantifier of a proposition that asserts the
         existence of at least one thing for which the proposition
         is true [syn: {existential quantifier}]