si definisce misura su una sigma algebraX di sottoinsiemi di X
una qualunque funzione m a valori reali tale che
m(Ø) = 0
La misura dell'insieme vuoto valga 0
m(A) 0 per ogni A X
Non esistono misure negative
Se An e' una successione di insiemi disgiunti in X allora si ha
m ( n=1n=ooAn) =
n=1
n=oo m(An)
Vale a dire: la misura gode della proprieta' additiva: la misura dell'unione di insiemi disgiunti e' uguale alla somma delle misure dei singoli insiemi
0 per ogni A 
X 
n=1
n=1