Medida exterior

Una medida exterior sobre un cierto conjunto X es una función

que asocia a cada subconjunto E de X un valor comprendido entre 0 e infinito (i.e.,

) y que satisface tres propiedades:

en la propiedad 2, podemos notar que una medida exterior es finitamente subaditiva.

El interés de las medidas exteriores recae en que son fáciles de construir y en que se puede aplicar el teorema de Carathéodory para construir, a partir de ellas, una medida en X.