Proposition 2
Tag 08MV, permanent. Cite it as [Bourbaki, Tag 08MV].
Integration, III, p. 26, § 2. Support of a measure
The support of a measure is identical to the support of the measure ; if is real, its support is the union of the supports of the measures and .
For, if the restriction of to an open set is zero, then so is that of (resp. of and when is real), and conversely.
Note that the supports of and can be nonempty and identical (cf. Ch. V, § 5, Exer. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.