a set function that upon operating on the union of a countable number of disjoint sets gives the same result as the sum of the functional values of each set.
a set function that upon operating on the union of a finite number of disjoint sets gives the same result as the sum of the functional values of each set.
