5.52 Si les valeurs de ξ sont l'ensemble des valeurs d'une fonction fx pour toutes les valeurs de x, alors [math]\displaystyle{ N ( \bar{\xi} ) }[/math] = ~(∃x) . fx.