EXISTENTIAL OPERATOR
Meaning of EXISTENTIAL OPERATOR in English
noun
or existential quantifier
logic : a quantifier that asserts at least one value of a variable in a formula
Webster's New International English Dictionary.
Новый международный словарь английского языка Webster.
2012