UNIVERSALQUANTIFIER
universal quantifier
Noun
- The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
- Some verbal equivalents are "for each" or "for every".
The above text is a snippet from Wiktionary: universal quantifier
and as such is available under the Creative Commons Attribution/Share-Alike License.