Definition:Concentration on Measurable Set/Complex Measure/Definition 1

Definition
Let $\struct {X, \Sigma}$ be a measurable space. Let $\mu$ be a complex measure on $\struct {X, \Sigma}$.

Let $\size \mu$ be the variation of $\mu$.

Let $E \in \Sigma$.

We say that $\mu$ is concentrated on $E$ :


 * $\map {\size \mu} {E^c} = 0$