 Outer measure

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