Let 
be a collection
of subsets of a set 
and let ![mu:S->[0,infty]](/images/equations/Premeasure/Inline3.svg)
be a set function.
The function 
is called a premeasure provided that 
is finitely additive,
countably monotone, and that 
if 
, where 
is the empty set.
Premeasure
See also
Countable Monotonicity, Finite Additivity, Measurable Function, Measure, Measure Space, Outer MeasureThis entry contributed by Christopher Stover
Explore with Wolfram|Alpha
References
Royden, H. L. and Fitzpatrick, P. M. Real Analysis. Pearson, 2010.Cite this as:
Stover, Christopher. "Premeasure." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Premeasure.html