Definition:Sigma-Additive Function