Remark 1

Tag 09NE, permanent. Cite it as [Bourbaki, Tag 09NE].

Integration, chapter IX, § 1. Premeasures and measures on a topological space

If $\mu$ is a complex measure, the support of $\mu$ is defined to be the support of the positive measure $|\mu|$ ; it is again the complement of the largest locally $\mu$ -negligible open set.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.