universal quantifier

noun (n)

1. a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things (noun.communication)

   Sumber: wordnet30