Bounded quantifier

Logical quantification that ranges over a subset of the universe of discourse
This article is about bounded quantification in mathematical logic. For bounded quantification in type theory, see Bounded quantification.

Examples of bounded quantifiers in the context of real analysis include:

The semantics of these quantifiers is determined by the following rules: