|
|
 |
 |
 |
|
|
|
|
|
x 
E, P(x)
: cette phrase formelle affirme que la propriété P
est vraie pour tous les éléments x de l'ensemble
E, qu'il n'y a pas dans E de contre-exemple
à la propriété P.
La propriété x
E, P(x) ne dépend pas
de x, elle signifie exactement la même chose que
y E, P(y). On dit que la
variable x est muette.
