Noun
universal quantifier (plural universal quantifiers)
(logic) 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".
Finally, we would like, for reasons of technical convenience, that the prefix of φ (that is, the string of quantifiers at the beginning of φ, which is in normal form) begin with a universal quantifier and end with an existential quantifier. Source: Internet
Reducing the theorem to formulas of degree 1 Our generic formula φ now is a sentence, in normal form, and its prefix starts with a universal quantifier and ends with an existential quantifier. Source: Internet