Positive measure (source code)

= Positive measure

A positive measure takes values in $[0,\infty]$, in contrast with signed and complex measures.