ABSTRACT
Nearly every measure used in mathematics is defined on a space where there is also a topology such that the domain of the measure is either the Borel σ-algebra generated by the topology, its completion for the measure, or perhaps an intermediate σ-algebra. Defining the integrals of real-valued functions on a measure space did not involve any topology as such on the domain space, although structures on the range space ℝ (order as well as topology) were used. Section 7.1 will explore relations between measures and topologies.
