A nonnegative real valued function m defined on a sigma-algebra of subsets of a set S whose value is zero on the empty set, and whose value on a countable union of disjoint sets is the sum of its values on each set.