b) The operator, represented by either of the symbols ∀ (universal quantifier) or ∃ (existential quantifier), used in predicate calculus to indicate the degree that predicate is true for a specified set.
See Also: quantify, quantification
Wikipedia foundation.