Wiktionary
universal quantifier
n. (context logic English) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
WordNet
universal quantifier
n. a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things