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.