Outer measure (source code)

= Outer measure
{wiki=Outer_measure}

An outer measure $\mu^*$ is defined on every subset, vanishes on the empty set, is monotone, and is countably subadditive.