The Lebesgue decomposition of a complex measure , with respect to a positive
measure
on the same measurable space, is its decomposition
into an absolutely continuous measure
and a singular
measure
,
where both absolute continuity and singularity are with respect to .