O que é medida exterior?

Uma medida exterior em $X$ é uma aplicação $\mu^* \colon \mathcal P(X) \to [0, \infty]$ com $\mu^*(\varnothing) = 0$, monótona e enumeravelmente subaditiva. Um conjunto $A$ é $\mu^*$-mensurável (Carathéodory) se ele reparte aditivamente todo conjunto:

($\leq$ vale sempre, por subaditividade; o conteúdo está em $\geq$).