A general, constructive measure theory is given in terms of Daniell integrals as part of the systematic development of the constructive component of analysis. Integration spaces are first defined in terms of a linear function on the space of integrable functions on a basic set. …