The most important example of an integration space in the constructive measure theory of Bishop and Cheng is the couple (X, μ), where X is a locally compact metric space and μ is a nonnegative linear ...