The following pages link to A pre-measure on a semi-ring may be extended uniquely to a pre-measure on a ring: