universal quantifier

Noun
  1. A logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things (synset 106313957)

Other Searches