Extensions of set functions

Abstract

We establish a necessary and suficient condition for a function defined on a subset of an algebra of sets to be extendable to a positive additive function on the algebra. It is also shown that this condition is necessary and sufficient for a regular function defined on a regular subset of the Borel algebra of subsets of a given compact Hausdorff space to be extendable to a measure.