Soient E un ensemble , T une tribu de parties de E ,   une mesure 0 sur T
Posons N() ) {A T |  (A) = 0}

"la réunion d'ensemble de mesure nulle est encore un ensemble de mesure nulle" est une phrase qui remplace :

P: [ la suite  n A_n N() on a _n A_n N() ]

On peut s'amuser à écrire non P avec des quantificateurs . Ce sera :
[ une suite  n A_n N() telle que _n A_n N()]

Si dans une certaine situation tu prouves que , sous la condition C , nonP est vraie , tu pourras dire Que nonC est vraie