universal quantifier
See
quantifier
.