Mutually singular measures (source code)

= Mutually singular measures

Two measures are mutually singular when the underlying space splits into disjoint measurable sets on which the respective measures are concentrated.