La medida cumple una serie de propiedades: debe ser, por ejemplo, contable aditiva, en el sentido de que la medida de un subconjunto 'grande' puede siempre ser descompuesta en un número finito (o "contablemente infinito") de subconjuntos disjuntos más "pequeños", de tal modo que la medida sea la suma de las medidas de dichos subconjuntos más pequeños.