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.
