квантор общности

Generality quantifier, universal quantifier