Dominating measure (source code)

= Dominating measure

A measure $\rho$ dominates a family of measures when every member is <absolute continuity of measures>[absolutely continuous] with respect to $\rho$. Any two finite positive measures $\mu$ and $\nu$ have the common dominating measure $\mu+\nu$.