Definition:Measurable Set/Arbitrary Outer Measure

Definition
Let $\struct {X, \Sigma}$ be a measurable space.

Let $\mu^*$ be an outer measure on $X$.

A subset $S \subseteq X$ is called $\mu^*$-measurable it satisfies the Carathéodory condition:


 * $\map {\mu^*} A = \map {\mu^*} {A \cap S} + \map {\mu^*} {A \setminus S}$

for every $A \subseteq X$.

The set of $\mu^*$-measurable sets is denoted $\map {\mathfrak M} {\mu^*}$ and is a $\sigma$-algebra over $X$.