Measures on Semilattices

Every vector-valued, semimodular set function on a semilattice of sets extends uniquely to an additive set function on the generated ring.