Beschränkte Quantifizierung

Oft ist es sinnvoll, Quantifizierungen auf die Elemente einer vorgegebenen Menge zu beschränken. Dabei ist

(5.33)

und

(5.34)

aufzufassen.