Bounded quantifier

Logical quantification that ranges over a subset of the universe of discourse

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

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