Proposition 4
Tag 092N, permanent. Cite it as [Bourbaki, Tag 092N].
Integration, V, p. 43, § 5. Measures defined by numerical densities
For a mapping of into a topological space to be measurable for the measure , it is necessary and sufficient that the restriction of , to the -measurable set of the such that , be -measurable.
When and are positive, this follows at once from Prop. 3 of §4, No. 3. The result then extends to the case that and are complex thanks to Prop. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.