Wat is buitenmaat?

Een buitenmaat op $X$ is een afbeelding $\mu^* \colon \mathcal P(X) \to [0, \infty]$ met $\mu^*(\varnothing) = 0$, monotoon en aftelbaar subadditief. Een verzameling $A$ heet $\mu^*$-meetbaar (Carathéodory) als ze elke verzameling additief splitst:

($\leq$ geldt altijd wegens de subadditiviteit; de inhoud zit in $\geq$).