Sigma-finite uniqueness theorem for measures (source code)

= Sigma-finite uniqueness theorem for measures

= Uniqueness theorem for measures
{synonym}

If two measures agree on a generating $\pi$-system and the space is a countable union of members having finite common measure, then they agree on the generated $\sigma$-algebra.