Sigma-finite measure (source code)

= Sigma-finite measure
{wiki}

= Sigma-finiteness
{synonym}

A <measure> is sigma-finite when its space is a countable <set union>[union] of measurable sets of finite measure.