finite, finitely additive measure, defined for every subset of a set, whose value is 0 on finite subsets