5.52 Sind die Werte von ξ sämtliche Werte einer Funktion fx für alle Werte von x, so wird [math]\displaystyle{ N ( \bar{\xi} ) }[/math] = ∼(∃x) . fx.