Definition 8

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

— The support of a measure $\mu$ on $T$ is defined to be the complement of the largest locally $\mu$ -negligible open set in $T$ .

The support of $\mu$ is denoted $\operatorname{Supp}(\mu)$ .

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

Cited by

Nothing.

Nothing.