universal quantification
logical quantification stating that a statement holds for all objects
MathWorld: UniversalQuantifierWikipedia (English): Universal_quantification
Encyclopedia of Mathematics: Universal_quantifier
Wikidata: universal quantification
nLab: universal quantifier