Word
universal quantifier, n.
a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
<noun.communication>
universal quantifier
semantic pointers
hypernym
quantifier