UNIVERSAL QUANTIFIER
Meaning of UNIVERSAL QUANTIFIER in English
noun
: a logical quantifier that asserts all values of a given variable in a formula
Webster's New International English Dictionary.
Новый международный словарь английского языка Webster.
2012