Quantifier

From CS2800 wiki

For all and there exists are quantifiers: they describe how to interpret a variable in a predicate.