Noun: universal quantifier
- A logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
"The symbol ∀ represents the universal quantifier in logical notation"
Derived forms: universal quantifiers
Type of: quantifier
Encyclopedia: Universal quantifier